2003 · 14 citations · 6 references
ComputingComputer ScienceComputer SystemsProgramming LanguagesSoftware EngineeringSystems ModelingModel CheckingModel ExecutionModel-driven Software EngineeringSoftware ModelingSoftware TestingSpecification LanguagesAbstract State MachinesConformance TestingModel TestingModel-based TestingSequence GenerationTest Case GenerationTest GenerationTool Design
Abstract. We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semi-automatic parameter generation, call sequence generation and conformance testing. We outline the usage of the environment by an example, discuss its underlying technologies, and report on some applications conducted in the Microsoft environment. 1
6
E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations
Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov · ACM SIGSOFT Software Engineering Notes · 2002 · 598 citations