| 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}
} |
