TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Andrés Sánchez, César
AU  - Molinero Brizuela, Carlos
PY  - 2009
DO  - 10.1109/ICSTW.2009.33
UR  - https://hdl.handle.net/20.500.14352/42205
T2  - ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops
AB  - This paper presents an empirical study of the mutation techniques used by the tool PASTE. This tool allows the automation of our passive testing methodology for systems that present stochastic-time information. In our proposal, invariants express the...
LA  - eng
M2  - 230
PB  - IEEE COMPUTER SOC
KW  - Timed systems
KW  - Formal approach
TI  - Advantages of mutation in passive testing: An empirical study
TY  - journal article
ER  -