2010 Third International Conference on Software Testing, Verification, and Validation Workshops

Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies

Pub Date : 2010-04-06 DOI: 10.1109/ICSTW.2010.67 Yves Le Traon, T. Mouelhi, Franck Fleurey, B. Baudry

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions

Pub Date : 2010-04-06 DOI: 10.1109/ICSTW.2010.36 Antonia Estero-Botaro, F. Palomo-Lozano, I. Medina-Bulo

Type Sensitive Application of Mutation Operators for Dynamically Typed Programs

Pub Date : 2010-04-06 DOI: 10.1109/ICSTW.2010.56 L. Bottaci