A test environment for high integrity software development

DOI10.1007/3-540-44947-7_27MaRDI QIDQ4435390zbMATH OpenFDO

Authors Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano

Publication date 1 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2655/26550359.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• DynaTest and beyond: From dynamic testing to automated error-prevention and error-detection
• A test environment using symbolic program trace
• System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings
• scientific article; zbMATH DE number 549080
• Demonstration of an automated integrated test environment for web-based applications

Cited in

(1)

• DynaTest and beyond: From dynamic testing to automated error-prevention and error-detection

This page was built for publication: A test environment for high integrity software development

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