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.
software testing, software analysis
English
2006
1595932631
ACM
none
Pezze', M., Pollock, L. (a cura di). (2006). Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis. ACM.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/13306
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact