Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_10 ◽

2016 ◽

pp. 155-171 ◽

Cited By ~ 2

Author(s):

Eduard P. Enoiu ◽

Daniel Sundmark ◽

Adnan Čaušević ◽

Robert Feldt ◽

Paul Pettersson

Keyword(s):

Model Checking ◽

Test Generation ◽

Embedded Software

Download Full-text

Test Generation Using Model Checking and Specification Mutation

IT Professional ◽

10.1109/mitp.2013.104 ◽

2014 ◽

Vol 16 (2) ◽

pp. 17-21 ◽

Cited By ~ 1

Author(s):

Paul E. Black

Keyword(s):

Model Checking ◽

Test Generation

Download Full-text

Model Checking Techniques for Test Generation from Business Process Models

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_5 ◽

2009 ◽

pp. 59-74 ◽

Cited By ~ 4

Author(s):

Didier Buchs ◽

Levi Lucio ◽

Ang Chen

Keyword(s):

Model Checking ◽

Business Process ◽

Test Generation ◽

Process Models ◽

Business Process Models

Download Full-text

Using Model Checking for Reducing the Cost of Test Generation

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_8 ◽

2005 ◽

pp. 110-124 ◽

Cited By ~ 5

Author(s):

Hyoung Seok Hong ◽

Hasan Ural

Keyword(s):

Model Checking ◽

Test Generation ◽

The Cost

Download Full-text

Model checking of statecharts using automatic white box test generation

48th Midwest Symposium on Circuits and Systems, 2005. ◽

10.1109/mwscas.2005.1594105 ◽

2005 ◽

Cited By ~ 2

Author(s):

D. Drusinsky

Keyword(s):

Model Checking ◽

Test Generation

Download Full-text

A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking

2016 17th Latin-American Test Symposium (LATS) ◽

10.1109/latw.2016.7483354 ◽

2016 ◽

Author(s):

Rogerio Paludo ◽

Djones Lettnin

Keyword(s):

Model Checking ◽

Embedded Software ◽

Bounded Model Checking ◽

Functional Verification

Download Full-text

Scaling Model Checking for Test Generation Using Dynamic Inference

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.29 ◽

2013 ◽

Cited By ~ 5

Author(s):

Anand Yeolekar ◽

Divyesh Unadkat ◽

Vivek Agarwal ◽

Shrawan Kumar ◽

R. Venkatesh

Keyword(s):

Model Checking ◽

Test Generation ◽

Scaling Model

Download Full-text

Contributions of model checking and CoFI methodology to the development of space embedded software

Empirical Software Engineering ◽

10.1007/s10664-012-9215-y ◽

2012 ◽

Vol 19 (1) ◽

pp. 39-68 ◽

Cited By ~ 6

Author(s):

Rodrigo Pastl Pontes ◽

Paulo Claudino Véras ◽

Ana Maria Ambrosio ◽

Emília Villani

Keyword(s):

Model Checking ◽

Embedded Software

Download Full-text

Reduction of Interrupt Handler Executions for Model Checking Embedded Software

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_5 ◽

2011 ◽

pp. 5-20 ◽

Cited By ~ 6

Author(s):

Bastian Schlich ◽

Thomas Noll ◽

Jörg Brauer ◽

Lucas Brutschy

Keyword(s):

Model Checking ◽

Embedded Software ◽

Interrupt Handler

Download Full-text

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software

Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) ◽

10.1109/isorc.2005.35 ◽

2005 ◽

Cited By ~ 1

Author(s):

Zonghua Gu ◽

Kang G. Shin

Keyword(s):

Model Checking ◽

Real Time ◽

Embedded Software ◽

Event Driven

Download Full-text

Safety aspects of generic real-time embedded software model checking in the fuzing domain

Advances in Safety, Reliability and Risk Management ◽

10.1201/b11433-380 ◽

2011 ◽

pp. 2678-2684 ◽

Cited By ~ 1

Author(s):

M Larisch ◽

U Siebold ◽

I Hä ring

Keyword(s):

Model Checking ◽

Real Time ◽

Embedded Software ◽

Software Model Checking ◽

Safety Aspects ◽

Software Model

Download Full-text