1 | Anna Derezinska and Karol Kowalski Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C{\#} Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{DerezinskaK11,
author = {Anna Derezinska and Karol Kowalski},
title = {Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C{\#}},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings},
year = {2011},
address = {},
month = {},
pages = {342--350}
} |
2 | Anna Derezi\'nska and Anna Szustek Tool-Supported Advanced Mutation Approach for Verification of C\# Programs Proceedings of the 3th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'08)Szklarska Por\^eba, Poland, 26-28 June 2008. |
|
| Abstract: Mutation testing is a fault-based testing technique used to inject faults into an existing program and see if its test suite is sensitive enough to detect common faults. We are interested in using the mutation analysis to evaluate, compare and improve quality assurance techniques for testing object-oriented mechanisms and other advanced features of C# programs. This paper provides an overview of a current version of the CREAM system (CREAtor of Mutants), and reports on its use in experimental research. We apply advanced, object-oriented mutation operators to testing of open-source C# programs and discuss the results. |
| @INPROCEEDINGS{DerezinskaS08,
author = {Anna Derezi\'nska and Anna Szustek},
title = {Tool-Supported Advanced Mutation Approach for Verification of C\# Programs},
booktitle = {Proceedings of the 3th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'08)},
year = {2008},
address = {Szklarska Por\^eba, Poland},
month = {26-28 June},
pages = {261-268}
} |
3 | Anna Derezi\'nska Advanced mutation operators applicable in C\# programs Software Engineering Techniques: Design for Quality, 2007. |
|
| Abstract: This paper is devoted to advanced mutation operators for C# source code. They deal with object-oriented (OO mutations) and other complex features of the code. They require structural information about a code, unlike the standard mutations. Applicability of OO operators in C# is compared with those for other OO languages. Operators for specific features of C# language are also proposed. The detailed specification of operators can be provided in terms of pre- and post-conditions of a program transformation. Based on the operators’ specification, the generation of mutated C# programs can be automated. |
| @INPROCEEDINGS{Derezinska07a,
author = {Anna Derezi\'nska},
title = {Advanced mutation operators applicable in C\# programs},
booktitle = {Software Engineering Techniques: Design for Quality},
year = {2007},
address = {},
month = {},
pages = {283-288}
} |
4 | Anna Derezi\'nska and Anna Szustek CREAM- A System for Object-Oriented Mutation of C\# Programs Warsaw University of Technology, Warszawa, Poland, 2007. |
|
| Abstract: Available soon... |
| @TECHREPORT{DerezinskaS07,
author = {Anna Derezi\'nska and Anna Szustek},
title = {CREAM- A System for Object-Oriented Mutation of C\# Programs},
institution = {Warsaw University of Technology},
year = {2007},
type = {techreport},
number = {},
address = {Warszawa, Poland},
month = {},
} |
5 | Anna Derezi\'nska Quality Assessment of Mutation Operators Dedicated for C\# Programs Proceedings of the 6th International Conference on Quality Software (QSIC'06)Beijing, China, 27-28 October 2006. |
|
| Abstract: The mutation technique inserts faults in a program under test in order to assess or generate test cases, or evaluate the reliability of the program. Faults introduced into the source code are defined using mutation operators. They should be related to different, also object-oriented features of a program. The most research on OO mutations was devoted to Java programs. This paper describes analytical and empirical study performed to evaluate the quality of advanced mutation operators for C# programs. Experimental results demonstrate effectiveness of different mutation operators. Unit tests suites and functional tests were used in experiments. A detailed analysis was conducted on mutation operators dealing with delegates and exception handling. |
| @INPROCEEDINGS{Derezinska06b,
author = {Anna Derezi\'nska},
title = {Quality Assessment of Mutation Operators Dedicated for C\# Programs},
booktitle = {Proceedings of the 6th International Conference on Quality Software (QSIC'06)},
year = {2006},
address = {Beijing, China},
month = {27-28 October},
pages = {}
} |
6 | Anna Derezi\'nska Advanced Mutation Operators Applicable in C\# Programs Warsaw University of Technology, Warszawa, Poland, 2005. |
|
| Abstract: Available soon... |
| @TECHREPORT{Derezinska05,
author = {Anna Derezi\'nska},
title = {Advanced Mutation Operators Applicable in C\# Programs},
institution = {Warsaw University of Technology},
year = {2005},
type = {techreport},
number = {},
address = {Warszawa, Poland},
month = {},
} |
7 | Anna Derezi\'nska Object-oriented Mutation to Assess the Quality of Tests Proceedings of the 29th Euromicro ConferenceBelek, Turkey, 1-6 September 2003. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{Derezinska03,
author = {Anna Derezi\'nska},
title = {Object-oriented Mutation to Assess the Quality of Tests},
booktitle = {Proceedings of the 29th Euromicro Conference},
year = {2003},
address = {Belek, Turkey},
month = {1-6 September},
pages = {417- 420}
} |