21 – 30 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Study of the use of property probes in an educational setting
Risberg Alaküla, Anton LU
; Fors, Niklas
LU
and Söderberg, Emma
LU
(2025)
In The Art, Science, and Engineering of Programming
10(1).
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Assertions in software testing : survey, landscape, and trends
Taromirad, Masoumeh and Runeson, Per LU
(2025)
In International Journal on Software Tools for Technology Transfer
27.
p.117-135
- Contribution to journal › Article
-
Mark
Injecting conflict situations in autonomous driving simulation using CARLA
Mihaylova, Tsvetomila ; Reitmann, Stefan LU ; Topp, Elin Anna LU
and Kyrki, Ville
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Synthetic versus real : an analysis of critical scenarios for autonomous vehicle testing
Song, Qunying LU
; Bensoussan, Avner
and Mousavi, Mohammad Reza
(2025)
In Automated Software Engineering
32(2).
- Contribution to journal › Article
-
Mark
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
De Rezende, Susanna F. LU
; Fleming, Noah
; Janett, Duri Andrea
; Nordström, Jakob
LU
and Pang, Shuo
(2025)
57th Annual ACM Symposium on Theory of Computing, STOC 2025
In Proceedings of the Annual ACM Symposium on Theory of Computing
p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Code review as decision-making : building a cognitive model from the questions asked during code review
Gullstrand Heander, Lo LU
; Söderberg, Emma
LU
and Rydenfält, Christofer
LU
(2025)
In Empirical Software Engineering
- Contribution to journal › Article
-
Mark
Demonstration of a robotic system for remote control of the end-hose during concrete pumping
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A generic student peer assessment concept
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient assignment of identities in anonymous populations
Gasieniec, Leszek ; Jansson, Jesper LU ; Levcopoulos, Christos LU
and Lingas, Andrzej
LU
(2025)
In Information and Computation
303.
- Contribution to journal › Article