21 – 30 of 1780
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
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
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
Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
De Rezende, Susanna F. LU
; Fleming, Noah
LU
; 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
Towards modeling and improving human-centered code review
- Thesis › Licentiate thesis
-
Mark
Replication package for code review as decision-making
- Non-textual form › Software
-
Mark
Falsification of Cyber-physical Systems Using Bayesian Optimization
Ramezani, Zahra ; Šehić, Kenan LU
; Nardi, Luigi
LU
and Åkesson, Knut
(2025)
In ACM Transactions on Embedded Computing Systems
24(3).
- Contribution to journal › Article
-
Mark
Lifting with colourful sunflowers
de Rezende, Susanna F. LU
and Vinyals, Marc
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the automatability of tree-like k-DNF resolution
Carenini, Gaia and de Rezende, Susanna F. LU
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dynamic Dependency-Based Purity Checking (Artifact)
Risberg Alaküla, Anton LU
; Fors, Niklas
LU
and Reichenbach, Christoph
LU
(2025)
- Other contribution › Miscellaneous
-
Mark
Addressing Failures in Robotics Using Vision-Based Language Models (VLMs) and Behavior Trees (BT)
Ahmad, Faseeh LU ; Styrud, Jonathan and Krueger, Volker LU
(2025)
16th European Robotics Forum, ERF 2025
In Springer Proceedings in Advanced Robotics
36 SPAR.
p.281-287
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding