Safety of a smart classes-used regression test selection algorithm

DOI10.1016/J.ENTCS.2020.08.004MaRDI QIDQ2229147zbMATH OpenOpenAlexWikidataFDO

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

interactive theorem provingJavaregression test selectionsmall-step semantics

Mathematics Subject Classification ID

Computer science (68-XX)

Cited in

(1)

• Regression Test Selection

Describes a project that uses

Uses Software

• Jinja Threads
• SoftBound
• Archive of Formal Proofs

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)