sign in · help · news · about ·

BibSonomy :: author :: Vilkomir ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(33)

<< < 1 | 2 > >>

Interface Testing Using a Subgraph Splitting Algorithm: A Case Study.
Sergiy Vilkomir, Ali Asghary Karahroudy, and Nasseh Tabrizi SEKE, page 219-224. Knowledge Systems Institute Graduate School, (2011)
to dblp by dblp on Dec 9, 2011, 12:00 AM
URL | BibTeX
Tolerance of Control-Flow Testing Criteria.
Sergiy A. Vilkomir, Kalpesh Kapoor, and Jonathan P. Bowen COMPSAC, page 182-187. IEEE Computer Society, (2003)
to control-flow criteria engineering formal methods myown software testing tolerance by jpbowen and 2 other users on Aug 2, 2011, 12:30 AM
URL | BibTeX
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
Sergiy A. Vilkomir, and Jonathan P. Bowen Formal Asp. Comput. 18(1):42-62 (2006)
to MC/DC RC/DC analysis control-flow criteria engineering formal formalization methods myown software testing by jpbowen and 1 other user on Aug 1, 2011, 10:07 PM
URL | BibTeX
Formalization of Software Testing Criteria using the Z Notation.
Sergiy A. Vilkomir, and Jonathan P. Bowen COMPSAC, page 351-356. IEEE Computer Society, (2001)
to Z criteria formal formalization methods myown notation software testing by jpbowen and 1 other user on Aug 1, 2011, 9:59 PM
URL | BibTeX
Formalization and assessment of regulatory requirements for safety-critical software.
Sergiy A. Vilkomir, Jonathan P. Bowen, and Aditya K. Ghose ISSE 2(3-4):165-178 (2006)
to assessment formal formalization methods myown regulation requirements safety-critical software standards by jpbowen and 1 other user on Aug 1, 2011, 9:56 PM
URL | BibTeX
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.
Sergiy A. Vilkomir, and Jonathan P. Bowen Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 240-270. Springer, (2008)
to Analysis Control-Flow Criteria Formalization MC/DC RC/DC: Testing engineering formal methods myown software to by jpbowen and 1 other user on Aug 1, 2011, 7:42 PM
URL | BibTeX
Using formal specifications to support testing.
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)
to engineering formal methods myown software specifications support testing by jpbowen and 1 other user on Aug 1, 2011, 7:39 PM
URL | BibTeX
Reinforced Condition/Decision Coverage RC/DC: A New Criterion for Software Testing.
Sergiy A. Vilkomir, and Jonathan P. Bowen ZB, volume 2272 of Lecture Notes in Computer Science, page 291-308. Springer, (2002)
to Condition/Decision Coverage Criterion RC/DC Reinforced Software Testing formal methods myown by jpbowen and 1 other user on Aug 1, 2011, 7:22 PM
URL | BibTeX
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.
Sergiy A. Vilkomir, and Aditya K. Ghose PROFES, volume 3009 of Lecture Notes in Computer Science, page 523-537. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Reinforced Condition/Decision Coverage RC/DC: A New Criterion for Software Testing.
Sergiy A. Vilkomir, and Jonathan P. Bowen ZB, volume 2272 of Lecture Notes in Computer Science, page 291-308. Springer, (2002)
to dblp by dblp and 1 other user on Jun 29, 2011, 12:00 AM
URL | BibTeX
Development of North Carolina's first Software Engineering program: An experience report.
Mohammad H. N. Tabrizi, Sergiy Vilkomir, and Junhua Ding CSEE&T, page 266-273. IEEE Computer Society, (2011)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
A probability model of system downtime with implications for optimal warranty design.
Ben Flood, Brett Houlding, Simon P. Wilson, and Sergiy Vilkomir Quality and Reliability Eng. Int. 26(1):83-96 (2010)
to dblp by dblp on Feb 4, 2010, 12:00 AM
URL | BibTeX
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.
Aneesh Krishna, Sergiy A. Vilkomir, and Aditya K. Ghose Information & Software Technology 51(2):478-496 (2009)
to dblp by dblp on Nov 26, 2009, 12:00 AM
URL | BibTeX
Software Input Space Modeling with Constraints among Parameters.
Sergiy A. Vilkomir, W. Thomas Swain, and Jesse H. Poore COMPSAC 1, page 136-141. IEEE Computer Society, (2009)
to dblp by dblp on Nov 26, 2009, 12:00 AM
URL | BibTeX
Using formal specifications to support testing.
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)
to dblp by dblp and 1 other user on Feb 27, 2009, 12:00 AM
URL | BibTeX
Using Formal Specifications to Support Testing
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)
to 2009 formal_specification tests by leonardo on Feb 11, 2009, 8:14 PM
BibTeX
Computer systems availability evaluation using a segregated failures model.
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, and Eamonn Murphy Quality and Reliability Eng. Int. 24(4):447-465 (2008)
to dblp by dblp on Nov 7, 2008, 12:00 AM
URL | BibTeX
Modeling Input Space for Testing Scientific Computational Software: A Case Study.
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)
to dblp by dblp on Jun 30, 2008, 12:00 AM
URL | BibTeX
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.
Sergiy A. Vilkomir, and Jonathan P. Bowen Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 240-270. Springer, (2008)
to dblp by dblp and 1 other user on Apr 21, 2008, 12:00 AM
URL | BibTeX
Precise Documentation of Critical Software.
David Lorge Parnas, and Sergiy A. Vilkomir HASE, page 237-244. IEEE Computer Society, (2007)
to dblp by dblp on Feb 9, 2008, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100