Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.
Alexander S. KossatchevP. KutterMikhail PosypkinPublished in: Program. Comput. Softw. (2004)
Keyphrases
- programming language
- specification language
- formal specification
- semantic data models
- data abstraction
- specification languages
- denotational semantics
- process algebra
- logic programming
- model checking
- general purpose
- object oriented design
- object oriented
- programming language constructs
- software engineering
- database languages
- programming environment
- strongly typed
- high level
- formal methods
- object oriented programming
- reverse engineering
- concurrent systems
- formal semantics
- program code
- programming tool
- description language
- fluent calculus
- query language
- multi agent systems