Safety of a smart classes-used regression test selection algorithm

DOI10.1016/j.entcs.2020.08.004OpenAlexW3093357012WikidataQ113317318 ScholiaQ113317318MaRDI QIDQ2229147

Susannah Mansky, Elsa L. Gunter

Publication date: 22 February 2021

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.08.004

zbMATH Keywords

Javainteractive theorem provingsmall-step semanticsregression test selection

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Jinja Threads
• Archive Formal Proofs
• SoftBound