Anton Esin

Learn More
The paper reports our ideas and experience on model based testing of a compiler. We consider a tiny programming language that consists of the standard control statements and external method calls only. Static and dynamic semantics of the language is formalized in the Abstract State Machines specification Language (AsmL), and used to produce a test suite for(More)
  • 1