| 381 | Daniel Hook and Diane Kelly
Testing for Trustworthiness in Scientific Software
Proceedings of the 2nd International Workshop on Software Engineering for Computational Science and Engineering (SECSE'09)Vancouver, Canada, 23 May 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HookK09,
author = {Daniel Hook and Diane Kelly},
title = {Testing for Trustworthiness in Scientific Software},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering for Computational Science and Engineering (SECSE'09)},
year = {2009},
address = {Vancouver, Canada},
month = {23 May},
pages = {59–64}
} |
| 382 | Simao, A. and Petrenko, A. and Maldonado, J. C.
Comparing finite state machine test coverage criteria
IET software, 3(2), 2009. |
|
| | Abstract: Available soon... |
| | @ARTICLE{petrenko_IET_09,
author = {Simao, A. and Petrenko, A. and Maldonado, J. C.},
title = {Comparing finite state machine test coverage criteria},
journal = {IET software},
year = {2009},
month = {},
volume = {3},
number = {2},
pages = {91--105}
} |
| 383 | Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte
Mutation Analysis of Parameterized Unit Tests
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{xie_icst_09,
author = {Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
title = {Mutation Analysis of Parameterized Unit Tests},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings},
year = {2009},
address = {},
month = {},
pages = {177--181}
} |
| 384 | Fevzi Belli and Axel Hollmann and Sascha Padberg
Communication Sequence Graphs for Mutation-Oriented Integration Testing
Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)Shanghai, China, July 2009. |
|
| | Abstract: Integration testing (IT) plays an important role for validation of the communication between different software components to ensure their optimal cooperation. In this paper we (i) introduce communication sequence graphs (CSG) for integration testing representing the communication between software components on a meta-level, (ii) define coverage criteria based on these graphs, and (iii) give hints how to extend CSG notion by Boolean algebra in order to represent complex data structures of data exchanged between components to be integrated. A case study borrowed from a robot controlling system illustrates CSG as a new integration testing approach. |
| | @INPROCEEDINGS{BelliHP09,
author = {Fevzi Belli and Axel Hollmann and Sascha Padberg},
title = {Communication Sequence Graphs for Mutation-Oriented Integration Testing},
booktitle = {Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)},
year = {2009},
address = {Shanghai, China},
month = {July},
pages = {387–392}
} |
| 385 | Westley Weimer and ThanhVu Nguyen and Claire {Le Goues} and Stephanie Forrest
Automatically finding patches using genetic programming
31st International Conference on Software Engineering, {ICSE} 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WeimerNGF09,
author = {Westley Weimer and ThanhVu Nguyen and Claire {Le Goues} and Stephanie Forrest},
title = {Automatically finding patches using genetic programming},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009, May 16-24, 2009, Vancouver, Canada, Proceedings},
year = {2009},
address = {},
month = {},
pages = {364--374}
} |
| 386 | Tejeddine Mouelhi and Yves Le Traon and Benoit Baudry
Transforming and Selecting Functional Test Cases for Security Policy Testing
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{mouelhi_icst_09,
author = {Tejeddine Mouelhi and Yves Le Traon and Benoit Baudry},
title = {Transforming and Selecting Functional Test Cases for Security Policy Testing},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
year = {2009},
address = {},
month = {},
pages = {171--180}
} |
| 387 | Fevzi Belli and Mutlu Beyazit
Mutation of Directed Graphs-Corresponding Regular Expressions and Complexity of Their Generation
Proceedings of the 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS'09)Magdeburg, Germany, 06-09 July 2009. |
|
| | Abstract: Directed graphs (DG), interpreted as state transition diagrams, are traditionally used to represent finite-state automata (FSA). In the context of formal languages, both FSA and regular expressions (RE) are equivalent in that they accept and generate, respectively, type-3 (regular) languages. Based on our previous work, this paper analyzes effects of graph manipulations on corresponding RE. In this present, starting stage we assume that the DG under consideration contains no cycles. Graph manipulation is performed by deleting or inserting of nodes or arcs. Combined and/or multiple application of these basic operators enable a great variety of transformations of DG (and corresponding RE) that can be seen as mutants of the original DG (and corresponding RE). DG are popular for modeling complex systems; however they easily become intractable if the system under consideration is complex and/or large. In such situations, we propose to switch to corresponding RE in order to benefit from their compact format for modeling and algebraic operations for analysis. The results of the study are of great potential interest to mutation testing. |
| | @INPROCEEDINGS{BelliB09,
author = {Fevzi Belli and Mutlu Beyazit},
title = {Mutation of Directed Graphs-Corresponding Regular Expressions and Complexity of Their Generation},
booktitle = {Proceedings of the 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS'09)},
year = {2009},
address = {Magdeburg, Germany},
month = {06-09 July},
pages = {69–77}
} |
| 388 | Romain Delamare and Benoit Baudry and Yves Le Traon
AjMutator: {A} Tool for the Mutation Analysis of AspectJ Pointcut Descriptors
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{delamare_ICSTW_09,
author = {Romain Delamare and Benoit Baudry and Yves Le Traon},
title = {AjMutator: {A} Tool for the Mutation Analysis of AspectJ Pointcut Descriptors},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings},
year = {2009},
address = {},
month = {},
pages = {200--204}
} |
| 389 | Romain Delamare and Benoit Baudry and Sudipto Ghosh and Yves Le Traon
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{delamare_ICST_09,
author = {Romain Delamare and Benoit Baudry and Sudipto Ghosh and Yves Le Traon},
title = {A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
year = {2009},
address = {},
month = {},
pages = {376--385}
} |
| 390 | Chixiang Zhou and Phyllis G. Frankl
Mutation Testing for Java Database Applications
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{zhou_ICST_09,
author = {Chixiang Zhou and Phyllis G. Frankl},
title = {Mutation Testing for Java Database Applications},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
year = {2009},
address = {},
month = {},
pages = {396--405}
} |
| 391 | Akbar Siami Namin and James H. Andrews
The Influence of Size and Coverage on Test Suite Effectiveness
Proceedings of the18th International Symposium on Software Testing and Analysis (ISSTA'09)Chicago, Illinois, USA, 19-23 July 2009. |
|
| | Abstract: We study the relationship between three properties of test suites: size, structural coverage, and fault-finding effectiveness. In particular, we study the question of whether achieving high coverage leads directly to greater effectiveness, or only indirectly through forcing a test suite to be larger. Our experiments indicate that coverage is sometimes correlated with effectiveness when size is controlled for, and that using both size and coverage yields a more accurate prediction of effectiveness than size alone. This in turn suggests that both size and coverage are important to test suite effectiveness. Our experiments also indicate that no linear relationship exists among the three variables of size, coverage and effectiveness, but that a nonlinear relationship does exist. |
| | @INPROCEEDINGS{NaminA09,
author = {Akbar Siami Namin and James H. Andrews},
title = {The Influence of Size and Coverage on Test Suite Effectiveness},
booktitle = {Proceedings of the18th International Symposium on Software Testing and Analysis (ISSTA'09)},
year = {2009},
address = {Chicago, Illinois, USA},
month = {19-23 July},
pages = {57–68}
} |
| 392 | David Schuler and Andreas Zeller
Javalanche: efficient mutation testing for Java
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{schuler_FSE_09,
author = {David Schuler and Andreas Zeller},
title = {Javalanche: efficient mutation testing for Java},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009},
year = {2009},
address = {},
month = {},
pages = {297--298}
} |
| 393 | Rene Just and Franz Schweiggert
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009. |
|
| | Abstract: The oracle problem is a crucial part in current research on software testing. In many situations available solutions like partial oracles can be used, however the suitability of a specific oracle depends on the application to be tested. Moreover, the inputs have a considerable impact on the effectiveness of the testing strategy. Therefore selecting an appropriate oracle as well as adequate inputs is essential in order to yield satisfying results. |
| | @INPROCEEDINGS{JustS09,
author = {Rene Just and Franz Schweiggert},
title = {Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis},
booktitle = {Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)},
year = {2009},
address = {Denver, Colorado},
month = {1-4 April},
pages = {205-209}
} |
| 394 | Macario Polo and Mario Piattini and Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n
Decreasing the cost of mutation testing with second-order mutants
Softw. Test., Verif. Reliab., 19(2), 2009. |
|
| | Abstract: Available soon... |
| | @ARTICLE{PoloPG09,
author = {Macario Polo and Mario Piattini and Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n},
title = {Decreasing the cost of mutation testing with second-order mutants},
journal = {Softw. Test., Verif. Reliab.},
year = {2009},
month = {},
volume = {19},
number = {2},
pages = {111--131}
} |
| 395 | Robin Abraham and Martin Erwig
Mutation Operators for Spreadsheets
{IEEE} Trans. Software Eng., 35(1), 2009. |
|
| | Abstract: Available soon... |
| | @ARTICLE{AbrahamE09,
author = {Robin Abraham and Martin Erwig},
title = {Mutation Operators for Spreadsheets},
journal = {{IEEE} Trans. Software Eng.},
year = {2009},
month = {},
volume = {35},
number = {1},
pages = {94--108}
} |
| 396 | Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC'09)Penang, Malaysia, 1-3 December 2009. |
|
| | Abstract: Mutation testing has been identified as one of the most effective techniques, in detecting faults. However, because of the large number of test elements that it introduces, it is regarded as rather expensive for practical use. Therefore, there is a need for testing strategies that will alleviate this drawback by selecting effective test data that will make the technique more practical. Such a strategy based on path selection is reported in this paper. A significant influence on the efficiency associated with path selection strategies is the number of test paths that must be generated in order to achieve a specified level of coverage, and it is determined by the number of paths that are found to be feasible. Specifically, a path selection strategy is proposed that aims at reducing the effects of infeasible paths and conversely developing effective and efficient mutation based tests. The results obtained from applying the method to a set of program units are reported and analysed presenting the flexibility, feasibility and practicality of the proposed approach. |
| | @INPROCEEDINGS{PapadakisM09,
author = {Mike Papadakis and Nicos Malevris},
title = {An Effective Path Selection Strategy for Mutation Testing},
booktitle = {Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC'09)},
year = {2009},
address = {Penang, Malaysia},
month = {1-3 December},
pages = {422 - 429}
} |
| 397 | Nan Li and Upsorn Praphamontripong and Jeff Offutt
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LiPO09,
author = {Nan Li and Upsorn Praphamontripong and Jeff Offutt},
title = {An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings},
year = {2009},
address = {},
month = {},
pages = {220--229}
} |
| 398 | Benjamin Hatfield Smith and Laurie Williams
Should Software Testers Use Mutation Analysis to Augment a Test Set?
Journal of Systems and Software, (), 2009. |
|
| | Abstract: Mutation testing has historically been used to assess the fault-finding effectiveness of a test suite or other verification technique. Mutation analysis, rather, entails augmenting a test suite to detect all killable mutants. Concerns about the time efficiency of mutation analysis may prohibit its widespread, practical use. The goal of our research is to assess the effectiveness of the mutation analysis process when used by software testers to augment a test suite to obtain higher statement coverage scores. We conducted two empirical studies and have shown that mutation analysis can be used by software testers to effectively produce new test cases and to improve statement coverage scores in a feasible amount of time. Additionally, we find that our user study participants view mutation analysis as an effective but relatively expensive technique for writing new test cases. Finally, we have shown that the choice of mutation tool and operator set can play an important role in determining how efficient mutation analysis is for producing new test cases. |
| | @ARTICLE{SmithW09b,
author = {Benjamin Hatfield Smith and Laurie Williams},
title = {Should Software Testers Use Mutation Analysis to Augment a Test Set?},
journal = {Journal of Systems and Software},
year = {2009},
month = {},
volume = {},
number = {},
pages = {To appear}
} |
| 399 | Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM09,
author = {Mike Papadakis and Nicos Malevris},
title = {An Effective Path Selection Strategy for Mutation Testing},
booktitle = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia},
year = {2009},
address = {},
month = {},
pages = {422--429}
} |
| 400 | Garrett Kent Kaminski and Paul Ammann
Using a Fault Hierarchy to Improve the Efficiency of {DNF} Logic Mutation Testing
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KaminskiA09a,
author = {Garrett Kent Kaminski and Paul Ammann},
title = {Using a Fault Hierarchy to Improve the Efficiency of {DNF} Logic Mutation Testing},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
year = {2009},
address = {},
month = {},
pages = {386--395}
} |
