Using application states in software testing (poster session)

Algorithmic cost estimation in the context of software evolution is being addressed as part of the FEAST/2 project with encouraging results from an industrial case study.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Chang, Richardson, Debra J.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Application software Automatic testing Computer science Design automation General and reference > Cross-computing tools and techniques > Verification Information analysis Performance evaluation Permission Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Software testing Theory of computation > Logic > Logic and verification Theory of computation > Semantics and reasoning > Program reasoning > Program verification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Algorithmic cost estimation in the context of software evolution is being addressed as part of the FEAST/2 project with encouraging results from an industrial case study.
ISSN:	0270-5257 1558-1225
DOI:	10.1145/337180.337632