Safety of a smart classes-used regression test selection algorithm

DOI10.1016/J.ENTCS.2020.08.004OpenAlexW3093357012WikidataQ113317318 ScholiaQ113317318MaRDI QIDQ2229147FDOQ2229147

Authors: Susannah Mansky, Elsa 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

This page was built for publication: Safety of a smart classes-used regression test selection algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229147)