Mutation-Based Test Generation for PLC Embedded Software using Model Checking (English)
Free access
- New search for: Enoiu, Eduard Paul
- New search for: Sundmark, Daniel
- New search for: Causevic, Adnan
- New search for: Feldt, Robert
- New search for: Pettersson, Paul
- New search for: Enoiu, Eduard Paul
- New search for: Sundmark, Daniel
- New search for: Causevic, Adnan
- New search for: Feldt, Robert
- New search for: Pettersson, Paul
- Conference paper / Electronic Resource
-
Title:Mutation-Based Test Generation for PLC Embedded Software using Model Checking
-
Contributors:Enoiu, Eduard Paul ( author ) / Sundmark, Daniel ( author ) / Causevic, Adnan ( author ) / Feldt, Robert ( author ) / Pettersson, Paul ( author )
-
Publication date:2016-01-01
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
- New search for: 000
- Further information on Dewey Decimal Classification
-
Keywords:Engineering controlled terms: Accident prevention , Application programs , Automation , Embedded software , Fault detection , Java programming language , Model checking , Programmable logic controllers , Safety engineering , Safety testing , Standards Automated test generations , Decision coverage , Detection ability , Engineering software , Experimental evidence , Mutation analysis , Mutation operators , Uppaal model checkers Engineering main heading: Software testing , Computer Systems , Datorsystem
-
Classification:
DDC: 000 -
Source: