Publication schedule
-
№4 December 2025
-
№1 March 2026Submission deadline: 27 February 2026
-
№2 June 2026Submission deadline: 29 May 2026
-
№3 September 2026Submission deadline: 31 August 2026
Articles by keywords "semantics"
Requirement coverage criteria for test cases generated from applications’ behavioral models
- Year: 2011
- Issue: 6
- 0
- 7299
- Pages: 202-207
Definition of domain-specific languages by interpreted automata
- Year: 2008
- Issue: 5
- 0
- 7569
- Pages: 93-98
On Compilation Correctness for a Subset of a Promising Memory Model to the ARMv8.3 Memory Model
- Year: 2017
- Volume: 10
- Issue: 4
- 36
- 7810
- Pages: 51-69