BibSonomy publications for /author/Vilkomir

Interface Testing Using a Subgraph Splitting Algorithm: A Case Study.

dblp — 2011-12-09T00:00:00+01:00

Sergiy Vilkomir, Ali Asghary Karahroudy, and Nasseh Tabrizi SEKE, page 219-224. Knowledge Systems Institute Graduate School, (2011)

Tolerance of Control-Flow Testing Criteria.

jpbowen — 2011-08-02T00:30:30+02:00

Sergiy A. Vilkomir, Kalpesh Kapoor, and Jonathan P. Bowen COMPSAC, page 182-187. IEEE Computer Society, (2003)

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.

jpbowen — 2011-08-01T22:07:07+02:00

Sergiy A. Vilkomir, and Jonathan P. Bowen Formal Asp. Comput. 18(1):42-62 (2006)

Formalization of Software Testing Criteria using the Z Notation.

jpbowen — 2011-08-01T21:59:13+02:00

Sergiy A. Vilkomir, and Jonathan P. Bowen COMPSAC, page 351-356. IEEE Computer Society, (2001)

Formalization and assessment of regulatory requirements for safety-critical software.

jpbowen — 2011-08-01T21:56:49+02:00

Sergiy A. Vilkomir, Jonathan P. Bowen, and Aditya K. Ghose ISSE 2(3-4):165-178 (2006)

From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.

jpbowen — 2011-08-01T19:42:21+02:00

Sergiy A. Vilkomir, and Jonathan P. Bowen Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 240-270. Springer, (2008)

Using formal specifications to support testing.

jpbowen — 2011-08-01T19:39:44+02:00

Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, and Hussein Zedan ACM Comput. Surv. (2009)

Reinforced Condition/Decision Coverage RC/DC: A New Criterion for Software Testing.

jpbowen — 2011-08-01T19:22:50+02:00

Sergiy A. Vilkomir, and Jonathan P. Bowen ZB, volume 2272 of Lecture Notes in Computer Science, page 291-308. Springer, (2002)

Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.

dblp — 2011-07-06T00:00:00+02:00

Sergiy A. Vilkomir, and Aditya K. Ghose PROFES, volume 3009 of Lecture Notes in Computer Science, page 523-537. Springer, (2004)

Reinforced Condition/Decision Coverage RC/DC: A New Criterion for Software Testing.

dblp — 2011-06-29T00:00:00+02:00

Sergiy A. Vilkomir, and Jonathan P. Bowen ZB, volume 2272 of Lecture Notes in Computer Science, page 291-308. Springer, (2002)

Development of North Carolina's first Software Engineering program: An experience report.

dblp — 2011-06-17T00:00:00+02:00

Mohammad H. N. Tabrizi, Sergiy Vilkomir, and Junhua Ding CSEE&T, page 266-273. IEEE Computer Society, (2011)

A probability model of system downtime with implications for optimal warranty design.

dblp — 2010-02-04T00:00:00+01:00

Ben Flood, Brett Houlding, Simon P. Wilson, and Sergiy Vilkomir Quality and Reliability Eng. Int. 26(1):83-96 (2010)

Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.

dblp — 2009-11-26T00:00:00+01:00

Aneesh Krishna, Sergiy A. Vilkomir, and Aditya K. Ghose Information & Software Technology 51(2):478-496 (2009)

Software Input Space Modeling with Constraints among Parameters.

dblp — 2009-11-26T00:00:00+01:00

Sergiy A. Vilkomir, W. Thomas Swain, and Jesse H. Poore COMPSAC 1, page 136-141. IEEE Computer Society, (2009)

Using formal specifications to support testing.

dblp — 2009-02-27T00:00:00+01:00

Using Formal Specifications to Support Testing

leonardo — 2009-02-11T20:14:28+01:00

R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Luettgen, A. J. H. Simons, S. Vilkomir, M. R. Woodward, and H. Zedan ACM Computing Surveys (2008)

Computer systems availability evaluation using a segregated failures model.

dblp — 2008-11-07T00:00:00+01:00

Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, and Eamonn Murphy Quality and Reliability Eng. Int. 24(4):447-465 (2008)

Modeling Input Space for Testing Scientific Computational Software: A Case Study.

dblp — 2008-06-30T00:00:00+02:00

Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poore, and Kevin T. Clarno ICCS 3, volume 5103 of Lecture Notes in Computer Science, page 291-300. Springer, (2008)

From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.

dblp — 2008-04-21T00:00:00+02:00

Sergiy A. Vilkomir, and Jonathan P. Bowen Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 240-270. Springer, (2008)

Precise Documentation of Critical Software.

dblp — 2008-02-09T00:00:00+01:00

David Lorge Parnas, and Sergiy A. Vilkomir HASE, page 237-244. IEEE Computer Society, (2007)