2003 · 15 citations · 11 references
ComputingComputer ScienceFormal MethodsSoftware EngineeringTest ConstructionModel-driven DevelopmentModel-driven Software EngineeringSoftware ConstructionSoftware DesignSoftware ModelingSoftware TestingAutomated Test GenerationModel-based TestingSoftware Testing ProcessTest CoverageTest GenerationTest Generation From ModelsTest OraclesTesting
Abstract. The article presents UniTesK technology, an automated model based test construction method for use in industrial testing of general-purpose software. The approach presented includes automatic generation of test oracles from software contracts, coverage driven test sequence generation, test artifacts reuse. This work stems from the ISP RAS results of academic research and 10-years experience in industrial application of formal testing techniques [1].
11
Bertrand Meyer · Computer · 1992 · 2.1K citations
Computing, Computer Science, Design +15
Towards Analyzing and Synthesizing Protocols
P. Zafiropulo, Colin H. West, H. Rudin et al. · IRE Transactions on Communications Systems · 1980 · 239 citations
Hubert Garavel, Frédéric Lang, Radu Mateescu · 2001 · 151 citations · Full text