Automated Test Case Generation for Safety-Critical Software in Scade.
Elson KurianPietro BraioneDaniela BriolaDario D'AvinoMatteo ModonatoGiovanni DenaroPublished in: ICSE-SEIP (2023)
Keyphrases
- safety critical
- test case generation
- formal methods
- test cases
- fault tolerant
- embedded systems
- nuclear power plant
- software testing
- test data generation
- safety analysis
- agent architecture
- object oriented systems
- support systems
- test suite
- software systems
- software engineering
- real time
- software maintenance
- object oriented
- adaptive systems
- cooperative
- multi agent
- databases
- user interface
- java programs
- artificial intelligence
- machine learning