TY - GEN
T1 - Paraμ- A partial and higher-order mutation tool with concurrency operators
AU - Madiraju, Pratyusha
AU - Namin, Akbar Siami
N1 - Copyright:
Copyright 2011 Elsevier B.V., All rights reserved.
PY - 2011
Y1 - 2011
N2 - The mutation operators implemented in a mutation tool typically mutate the entire programs thoroughly and thus generate enormous number of mutants spread all over the programs. However, the complexity and difficulty level of methods implemented in a given program is less evenly distributed all over the program. Hence, the non-uniform distribution of complexity of methods in a program is an indication of testing efforts required for each method. We introduce partial mutations where only the complex parts of the programs are mutated instead of the entire programs. Paraμ is a mutation tool for Java programs enabling partial mutations. In addition to the class mutation, Paraμ implements concurrency mutation operators to address the recent advances in multicore systems and hence mutation testing of parallel and multi-threaded programs. Furthermore, Paraμ allows higher-order mutations by which the users are allowed to specify the order and the types of mutation operators and thus perform a combinatorial higher-order mutation testing.
AB - The mutation operators implemented in a mutation tool typically mutate the entire programs thoroughly and thus generate enormous number of mutants spread all over the programs. However, the complexity and difficulty level of methods implemented in a given program is less evenly distributed all over the program. Hence, the non-uniform distribution of complexity of methods in a program is an indication of testing efforts required for each method. We introduce partial mutations where only the complex parts of the programs are mutated instead of the entire programs. Paraμ is a mutation tool for Java programs enabling partial mutations. In addition to the class mutation, Paraμ implements concurrency mutation operators to address the recent advances in multicore systems and hence mutation testing of parallel and multi-threaded programs. Furthermore, Paraμ allows higher-order mutations by which the users are allowed to specify the order and the types of mutation operators and thus perform a combinatorial higher-order mutation testing.
KW - Higher-order mutation
KW - Mutation testing
KW - Object oriented programs
KW - Software testing tools
UR - http://www.scopus.com/inward/record.url?scp=80051611715&partnerID=8YFLogxK
U2 - 10.1109/ICSTW.2011.34
DO - 10.1109/ICSTW.2011.34
M3 - Conference contribution
AN - SCOPUS:80051611715
SN - 9780769543451
T3 - Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011
SP - 351
EP - 356
BT - Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011
Y2 - 21 March 2011 through 25 March 2011
ER -