Mats Per Erik Heimdahl (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

43		Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao: Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES 2003: 42-59
41		Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl: Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM 2003: 167-186
38		Sanjai Rayadurgam, Mats Per Erik Heimdahl: Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91
33		Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl: Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. 7(4): 225-242 (2002)
32		Sanjai Rayadurgam, Mats Per Erik Heimdahl: Coverage Based Test-Case Generation Using Model Checkers. ECBS 2001: 83-
31		Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl: Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE 2001: 164-174
30		Sanjai Rayadurgam, Mats Per Erik Heimdahl: Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31

Selection of 7 from 77 records - Mats Per Erik Heimdahl has 49 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page