From Specification to Testing: Semantics Engineering for Lua 5.2.
Mallku SoldevilaBeta ZilianiBruno SilvestrePublished in: J. Autom. Reason. (2022)
Keyphrases
- specification language
- operational semantics
- formal semantics
- formal specification
- test case generation
- formal language
- formal verification
- conceptual schema
- logic programming
- conceptual model
- specification languages
- process algebra
- test cases
- computer science
- engineering design
- active rules
- artificial intelligence
- software engineering
- software testing
- natural language
- database
- engineering education
- action language
- asynchronous circuits
- software intensive systems
- engineering students
- engineering problems
- control flow
- computer aided design
- semantic information
- case study
- neural network