Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations.
Jihyeok ParkDongjun YounKanguk LeeSukyoung RyuPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- programming language
- object oriented
- programming environment
- general purpose
- strongly typed
- denotational semantics
- logic programming
- test suite
- software engineering
- high level
- specification language
- computer programs
- database languages
- test cases
- concurrent programming
- functional programming
- abstract data types
- programming paradigms
- stored procedures
- data abstraction
- functional language
- object oriented programming
- object oriented concepts
- domain specific languages