Mutation-Based Test Case Generation for Simulink Models-Reference-Cited by-同舟云学术

Mutation-Based Test Case Generation for Simulink Models

Published:2010 Issue: Volume: Page:208-227
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Brillout Angelo,He Nannan,Mazzucchi Michele,Kroening Daniel,Purandare Mitra,Rümmer Philipp,Weissenbacher Georg

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17071-3_11

Reference31 articles.

1. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

2. Lecture Notes in Computer Science;A. Gadkari,2008

3. Kroening, D., Clarke, E.M., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: Design Automation Conference (DAC), pp. 368–371. ACM, New York (2003)

4. Lecture Notes in Computer Science;A. Holzer,2008

5. Lecture Notes in Computer Science;D. Angeletti,2009

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal Implementation;Journal of Aerospace Sciences and Technologies;2023-07-31

2. What Not to Test (For Cyber-Physical Systems);IEEE Transactions on Software Engineering;2023-07

3. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

4. Detecting Simulink compiler bugs via controllable zombie blocks mutation;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

5. Static detection of equivalent mutants in real-time model-based mutation testing;Empirical Software Engineering;2022-09-20