BibSonomy publications for /author/VilkomirFri Dec 09 00:00:00 CET 2011SEKEconf/seke/2011219-224Interface Testing Using a Subgraph Splitting Algorithm: A Case Study.2011dblp Tue Aug 02 00:30:30 CEST 2011COMPSACconf/compsac/2003182-187Tolerance of Control-Flow Testing Criteria.2003control-flow criteria engineering formal methods myown software testing tolerance Mon Aug 01 22:07:07 CEST 2011Formal Asp. Comput.142-62From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.182006MC/DC RC/DC analysis control-flow criteria engineering formal formalization methods myown software testing Mon Aug 01 21:59:13 CEST 2011COMPSACconf/compsac/2001351-356Formalization of Software Testing Criteria using the Z Notation.2001Z criteria formal formalization methods myown notation software testing Mon Aug 01 21:56:49 CEST 2011ISSE3-4165-178Formalization and assessment of regulatory requirements for safety-critical software.22006assessment formal formalization methods myown regulation requirements safety-critical software standards Mon Aug 01 19:42:21 CEST 2011Formal Methods and Testingconf/fortest/2008240-270Lecture Notes in Computer ScienceFrom MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.49492008Analysis Control-Flow Criteria Formalization MC/DC RC/DC: Testing engineering formal methods myown software to Mon Aug 01 19:39:44 CEST 2011ACM Comput. Surv.2Using formal specifications to support testing.412009engineering formal methods myown software specifications support testing Mon Aug 01 19:22:50 CEST 2011ZBconf/zum/2002291-308Lecture Notes in Computer ScienceReinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.22722002Condition/Decision Coverage Criterion RC/DC Reinforced Software Testing formal methods myown Wed Jul 06 00:00:00 CEST 2011PROFESconf/profes/2004523-537Lecture Notes in Computer ScienceDevelopment of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.30092004dblp Wed Jun 29 00:00:00 CEST 2011ZBconf/zum/2002291-308Lecture Notes in Computer ScienceReinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.22722002dblp Fri Jun 17 00:00:00 CEST 2011CSEE&Tconf/csee/2011266-273Development of North Carolina's first Software Engineering program: An experience report.2011dblp Thu Feb 04 00:00:00 CET 2010Quality and Reliability Eng. Int.183-96A probability model of system downtime with implications for optimal warranty design.262010dblp Thu Nov 26 00:00:00 CET 2009Information & Software Technology2478-496Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.512009dblp Thu Nov 26 00:00:00 CET 2009COMPSAC (1)conf/compsac/2009136-141Software Input Space Modeling with Constraints among Parameters.2009dblp Fri Feb 27 00:00:00 CET 2009ACM Comput. Surv.2Using formal specifications to support testing.412009dblp Wed Feb 11 20:14:28 CET 2009ACM Computing SurveysUsing Formal Specifications to Support Testing20082009 formal_specification tests Fri Nov 07 00:00:00 CET 2008Quality and Reliability Eng. Int.4447-465Computer systems availability evaluation using a segregated failures model.242008dblp Mon Jun 30 00:00:00 CEST 2008ICCS (3)conf/iccS/2008-3291-300Lecture Notes in Computer ScienceModeling Input Space for Testing Scientific Computational Software: A Case Study.51032008dblp Mon Apr 21 00:00:00 CEST 2008Formal Methods and Testingconf/fortest/2008240-270Lecture Notes in Computer ScienceFrom MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.49492008dblp Sat Feb 09 00:00:00 CET 2008HASEconf/hase/2007237-244Precise Documentation of Critical Software.2007dblp