An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software.
Lydie du BousquetNicolas ZuanonPublished in: ASE (1999)
Keyphrases
- unit testing
- software testing
- software tools
- test case generation
- test cases
- search based software testing
- tool support
- software development
- software systems
- software platform
- software package
- integration testing
- testing process
- software application
- analysis tool
- tool suite
- quality assurance
- test suite
- mysql database
- model based testing
- software components
- control flow
- graphical user interface
- embedded software
- software reliability
- information systems
- design tools
- open source
- computer systems
- requirements specification
- program understanding
- test data
- sequence diagrams
- software architecture
- formal verification
- software maintenance
- formal specification
- software design
- conceptual model
- regression testing
- software environment
- development process
- neural network
- user interface
- formal methods
- case study
- graphical display
- usability studies