Towards axiom-based test generation in .NET applications

MaRDI QIDQ2898762zbMATH OpenFDO

Authors Mihály Biczó, Zoltán Porkoláb

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

.NETalgebraic specificationattributeaxiomC\(\#\)conceptmodelreflectiontest generation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2089386
• scientific article; zbMATH DE number 2084351
• Test case generation for object-oriented imperative languages in CLP
• scientific article; zbMATH DE number 2061753
• scientific article; zbMATH DE number 1951185

Cited in

(2)

• Towards detailed trace generation using the profiler in the .NET framework
• scientific article; zbMATH DE number 1929887 (Why is no real title available?)

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Towards axiom-based test generation in .NET applications

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