BibSonomy :: author  ::

bookmarks

publications

(79)

• Safety and Software Intensive Systems: Challenges Old and New.
  Mats Per Erik Heimdahl FOSE 137-152 (2007)
  to dblp by dblp on 2008-10-31 00:00:00
  | URL | BibTeX  
• ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.
  Matt Staats and Weijia Deng and Ajitha Rajan and Mats Per Erik Heimdahl and Kurt Woodham ASE 499-500 (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Partial Translation Verification for Untrusted Code-Generators.
  Matthew Staats and Mats Per Erik Heimdahl ICFEM 226-237 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Requirements Coverage as an Adequacy Measure for Conformance Testing.
  Ajitha Rajan and Michael W. Whalen and Matt Staats and Mats Per Erik Heimdahl ICFEM 86-104 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• The effect of program and model structure on mc/dc test adequacy coverage
  Ajitha Rajan and Michael W. Whalen and Mats P.E. Heimdahl ICSE '08: Proceedings of the 30th international conference on Software engineering 161--170 (2008)
  to automated case checking generation model test by ist_spl and 1 other person on 2008-05-21 11:42:25
  | URL | BibTeX  
• The effect of program and model structure on mc/dc test adequacy coverage.
  Ajitha Rajan and Michael W. Whalen and Mats Per Erik Heimdahl ICSE 161-170 (2008)
  to dblp by dblp and 1 other person on 2008-05-15 00:00:00
  | URL | BibTeX  
• Behavioral Fault Modeling for Model-based Safety Analysis.
  Anjali Joshi and Mats Per Erik Heimdahl HASE 199-208 (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Model Validation using Automatically Generated Requirements-Based Tests.
  Ajitha Rajan and Michael W. Whalen and Mats Per Erik Heimdahl HASE 95-104 (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Generating MC/DC Adequate Test Sequences Through Model Checking.
  Sanjai Rayadurgam and Mats Per Erik Heimdahl SEW 91 (2003)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Proving the shalls.
  Steven P. Miller and Alan C. Tribble and Michael W. Whalen and Mats Per Erik Heimdahl STTT 8 303-319 (2006)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX