Improving Testing Behavior by Gamifying IntelliJ
P Straubinger, G Fraser - Proceedings of the 46th IEEE/ACM …, 2024 - dl.acm.org
Testing is an important aspect of software development, but unfortunately, it is often
neglected. While test quality analyses such as code coverage or mutation analysis inform …
neglected. While test quality analyses such as code coverage or mutation analysis inform …
[HTML][HTML] Bubaak-SpLit: Split what you cannot verify (Competition contribution)
Bubaak-SpLit is a tool for dynamically splitting verification tasks into parts that can then be
analyzed in parallel. It is built on top of Bubaak, a tool designed for running combinations of …
analyzed in parallel. It is built on top of Bubaak, a tool designed for running combinations of …
[HTML][HTML] Exchanging information in cooperative software validation
J Haltermann, H Wehrheim - Software and Systems Modeling, 2024 - Springer
Cooperative software validation aims at having verification and/or testing tools cooperate on
the task of correctness checking. Cooperation involves the exchange of information about …
the task of correctness checking. Cooperation involves the exchange of information about …
[HTML][HTML] Parallel Program Analysis on Path Ranges
Symbolic execution is a software verification technique symbolically running programs and
thereby checking for bugs. Ranged symbolic execution performs symbolic execution on …
thereby checking for bugs. Ranged symbolic execution performs symbolic execution on …
[PDF][PDF] Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification
Scaling software verification is a challenging problem, as finding a suitable method to
distribute the work among multiple verifiers is no trivial question. We propose ranged …
distribute the work among multiple verifiers is no trivial question. We propose ranged …