| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl |
On the Danger of Coverage Directed Test Case Generation.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder |
Trace Queries for Safety Requirements in High Assurance Systems. |
REFSQ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Gabriele Taentzer |
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection. |
Autom. Softw. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl |
Challenges in the regulatory approval of medical cyber-physical systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
Programs, tests, and oracles: the foundations of testing revisited. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
Better testing through oracle selection. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden |
A Software Certification Consortium and its Top 9 Hurdles. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Van Wyk, Mats Per Erik Heimdahl |
Flexibility in modeling languages and tools: a call to arms. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Zhai, Guojin He, Mats Per Erik Heimdahl |
Hardware Supported Flexible Monitoring: Early Results. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Staats, Mats Per Erik Heimdahl |
Partial Translation Verification for Untrusted Code-Generators. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
Requirements Coverage as an Adequacy Measure for Conformance Testing. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham |
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl |
The effect of program and model structure on mc/dc test adequacy coverage. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
structural coverage metrics |
| 1 | Mats Per Erik Heimdahl, George Devaraj |
On the effect of test-suite reduction on automatically generated model-based tests. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Test reduction, Fault finding, Specification-based testing, Automated test generation, Model checkers |
| 1 | Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl |
Model Validation using Automatically Generated Requirements-Based Tests. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anjali Joshi, Mats Per Erik Heimdahl |
Behavioral Fault Modeling for Model-based Safety Analysis. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk |
Flexible and Extensible Notations for Modeling Languages. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl |
Safety and Software Intensive Systems: Challenges Old and New. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl |
Proving the shalls. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Formal verification, Software requirements, Model-based development |
| 1 | Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl |
Interaction Testing in Model-Based Development: Effect on Model-Coverage. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller |
Coverage metrics for requirements-based testing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies |
On the Distribution of Property Violations in Formal Models: An Initial Study. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen |
Deviation Analysis: A New Use of Model Checking. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
model checking, robustness, deviation analysis |
| 1 | Mats Per Erik Heimdahl |
Model-Based Testing: Challenges Ahead. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | George Devaraj, Mats Per Erik Heimdahl, Donglin Liang |
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anjali Joshi, Mats Per Erik Heimdahl |
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl |
A Case for Specification Validation. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi, Mats Per Erik Heimdahl |
Combination Model Checking: Approach and a Case Study. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, George Devaraj |
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
test reduction, fault finding, specification-based testing, automated test generation, model checkers |
| 1 | Mats Per Erik Heimdahl, George Devaraj, Robert Weber |
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey M. Thompson, Mats Per Erik Heimdahl |
Structuring product family requirements for n-dimensional and hierarchical product lines. |
Requir. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Product line modelling, Requirements structuring, Domain Engineering, Product line engineering, Requirements reuse |
| 1 | Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl |
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi, Mats Per Erik Heimdahl |
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Generating MC/DC Adequate Test Sequences Through Model Checking. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao |
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson |
NIMBUS: A Tool for Specification Centered Development. (PDF / PS) |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl |
Proving the Shalls. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao |
Auto-generating Test Sequences Using Model Checkers: A Case Study. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl |
Guest Editor's Introduction. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. |
Requir. Eng. |
2002 |
DBLP DOI BibTeX RDF |
Model checking specifications, Abstraction, Numeric constraints |
| 1 | Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen |
Deviation Analysis Through Model Checking. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi, Mats Per Erik Heimdahl |
Model Checking RSML-e Requirements. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Coverage Based Test-Case Generation Using Model Checkers. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Test-Sequence Generation from Formal Requirement Models. |
HASE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey M. Thompson, Mats Per Erik Heimdahl |
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Automatic abstraction for model checking software systems with interrelated numeric constraints. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
domain abstraction, model checking software systems, numeric constraints |
| 1 | Mats Per Erik Heimdahl, Barbara J. Czerny |
On the analysis needs when verifying state-based software requirements: an experience report. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl |
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Jeffrey M. Thompson |
Specifying and Analysing System-Level Inter-Component Interfaces. |
Requir. Eng. |
2000 |
DBLP DOI BibTeX RDF |
Inter-component communication, Safety kernel, State-based specification, Formal methods, Static analysis, Requirements specification, RSML |
| 1 | Mats Per Erik Heimdahl (eds.) |
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA |
FMSP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey M. Thompson, Mats Per Erik Heimdahl |
An Integrated Development Environment for Prototyping Safety Critical Systems. (PDF / PS) |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML |
| 1 | Michael Stein, Mats Per Erik Heimdahl, John Riedl |
Enhancing Annotation Visibility for Software Inspection. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Whalen, Mats Per Erik Heimdahl |
An Approach to Automatic Code Generation for Safety-Critical Systems. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Whalen, Mats Per Erik Heimdahl |
On the Requirements of High-Integrity Code Generation. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
formal methods, code generation, critical systems |
| 1 | Barbara J. Czerny, Mats Per Erik Heimdahl |
Identifying Domain Axioms Using Binary Decision Diagrams. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs) |
| 1 | Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese |
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller |
Specification-Based Prototyping for Embedded Systems. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny |
Specification and Analysis of Intercomponent Communication. |
IEEE Computer |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara J. Czerny, Mats Per Erik Heimdahl |
Automated Integrative Analysis of State-based Requirements. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Stein, Mats Per Erik Heimdahl, John Riedl |
A General Framework for Interconnecting Annotations of Software Systems. (PDF / PS) |
COMPSAC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Constance L. Heitmeyer |
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill |
Checking properties of safety critical specifications using efficient decision procedures. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen |
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Jeffrey M. Thompson |
Specification and Analysis of System Level Inter-Component Communication. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl |
Verifying Communication Constraints in RSML Specifications. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, David J. Keenan |
Generating Code from Hierarchical State-Based Requirements. (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML |
| 1 | Mats Per Erik Heimdahl, Jon Damon Reese |
Software Requirements Specification and System Safety. (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Michael W. Whalen |
Reduction and Slicing of Hierarchical State Machines. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Nancy G. Leveson |
Completeness and Consistency in Hierarchical State-Based Requirements. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
state-based requirements, formal methods, static analysis, consistency, Completeness, reactive systems, formal semantics |
| 1 | Mats Per Erik Heimdahl |
Experiences and Lessons from the Analysis of TCAS II. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Barbara J. Czerny |
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. (PDF / PS) |
HASE |
1996 |
DBLP DOI BibTeX RDF |
hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML |
| 1 | Mats Per Erik Heimdahl, Nancy G. Leveson |
Completeness and Consistency Analysis of State-Based Requirements. |
ICSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese |
Requirements Specification for Process-Control Systems. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control |
| 1 | Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart |
Software Requirements Analysis for Real-Time Process-Control Systems. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
real-time process-control systems, observable phenomena, abstract state-machine model, real-time systems, formal specification, robustness, ambiguity, semantic analysis, software requirements, software requirements specifications, process computer control |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")