Erlang code evolution control

DOI10.1007/978-3-319-94460-9_8MaRDI QIDQ1671148

Peng Zhang

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1709.05291

zbMATH Keywords

tracing; automated regression testing; code evolution control

Mathematics Subject Classification ID

68N15: Theory of programming languages

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Erlang
• SecEr
• redbug
• CutEr
• PropEr
• erlyberly
• Safira