IEC 61131-3 Software Testing - Automatic test generation for native applications.
Florian HoferPublished in: ICCPS (2022)
Keyphrases
- test generation
- software testing
- test cases
- labor intensive
- quality assurance
- software development
- code coverage
- design automation
- software systems
- symbolic execution
- test sequences
- test case generation
- software reliability
- software engineering
- regression testing
- test data generation
- white box testing
- distributed systems
- testing process
- integration testing
- static analysis
- test suite
- formal specification
- black box
- test data
- database
- project management
- decision trees
- information systems
- unit testing
- learning algorithm