Erlang code evolution control

DOI10.1007/978-3-319-94460-9_8MaRDI QIDQ1671148zbMATH OpenOpenAlexFDO

Authors Peng Zhang

Publication date 6 September 2018

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

zbMATH Keywords

tracingautomated regression testingcode evolution control

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Use Cases for Refactoring in Erlang
• eVolCheck: incremental upgrade checker for C
• Incremental programming language development
• scientific article; zbMATH DE number 2013622
• Equivalence Checking of Non-deterministic Operations

Cited in

(1)

• scientific article; zbMATH DE number 6292199 (Why is no real title available?)

Describes a project that uses

Uses Software

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

This page was built for publication: Erlang code evolution control

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