The proceedings contain 23 papers. The topics discussed include: time-aware test suite prioritization; the species per path approach to search-based test data generation; coverage metrics for requirements-based testing; test input generation for java containers using state matching; experimental program analysis: a new program analysis paradigm; looking for bugs in all the right places; a model and sensitivity analysis of the quality economics of defect-detection techniques; subdomain testing of units and systems with state; breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning; modular verification of code with SAT; role-based access control consistency validation; effective typestate verification in the presence of aliasing; using model checking with symbolic execution to verify parallel numerical programs; and application of automated environment generation to commercial software.
Pezze', M., Pollock, L. (a cura di). (2006). Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis. ACM.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis
PEZZE', MAURO;
2006
Abstract
The proceedings contain 23 papers. The topics discussed include: time-aware test suite prioritization; the species per path approach to search-based test data generation; coverage metrics for requirements-based testing; test input generation for java containers using state matching; experimental program analysis: a new program analysis paradigm; looking for bugs in all the right places; a model and sensitivity analysis of the quality economics of defect-detection techniques; subdomain testing of units and systems with state; breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning; modular verification of code with SAT; role-based access control consistency validation; effective typestate verification in the presence of aliasing; using model checking with symbolic execution to verify parallel numerical programs; and application of automated environment generation to commercial software.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.