Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven.
Yongbae ParkShin HongMoonzoo KimDongju LeeJunhee ChoPublished in: ICSE (2) (2015)
Keyphrases
- software testing
- test cases
- software systems
- software development
- quality assurance
- case study
- test data generation
- regression testing
- test case generation
- software tools
- software design
- black box
- development lifecycle
- software maintenance
- testing process
- test suite
- model based testing
- software architecture
- temporal information
- test bed
- software reliability
- usability testing
- embedded software
- source code
- software package
- news stories
- data flow
- object oriented software
- integration testing
- website
- software development life cycle
- power supply
- event sequences
- control flow
- software quality
- open source
- event detection
- monitoring system