Improving quality of software analyser and transformer tools using specification based testing

MaRDI QIDQ2898831zbMATH OpenFDO

Authors Máté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán Horváth

Publication date 12 July 2012

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

analyser and transformer toolsErlangre-engineeringRefactor-Erlspecification based testing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2084350
• Use Cases for Refactoring in Erlang
• Alloy as a refactoring checker?
• Fully Automatic Testing with Functions as Specifications
• Refactoring tools for functional languages

This page was built for publication: Improving quality of software analyser and transformer tools using specification based testing

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