| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4972363 | Information and Software Technology | 2017 | 23 Pages |
Abstract
Conclusion: We conclude that mutation testing for Circus can truly aid making test generation from state-rich model more tractable, by focussing on particular faults.
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
Alex Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão,