@inproceedings{conf/seke/VilkomirKT11,
  added-at = {2011-12-09T00:00:00.000+0100},
  author = {Vilkomir, Sergiy and Karahroudy, Ali Asghary and Tabrizi, Nasseh},
  biburl = {http://www.bibsonomy.org/bibtex/20f843bd66d557688e7c25d786cb56f55/dblp},
  booktitle = {SEKE},
  crossref = {conf/seke/2011},
  interhash = {4e139e53c71cb09cee1775c050418460},
  intrahash = {0f843bd66d557688e7c25d786cb56f55},
  isbn = {1-891706-29-2},
  keywords = {dblp},
  pages = {219-224},
  publisher = {Knowledge Systems Institute Graduate School},
  title = {Interface Testing Using a Subgraph Splitting Algorithm: A Case Study.},
  url = {http://dblp.uni-trier.de/db/conf/seke/seke2011.html#VilkomirKT11},
  year = 2011
}

@inproceedings{conf/compsac/VilkomirKB03,
  added-at = {2011-08-02T00:30:30.000+0200},
  author = {Vilkomir, Sergiy A. and Kapoor, Kalpesh and Bowen, Jonathan P.},
  biburl = {http://www.bibsonomy.org/bibtex/28d6b0fea5c52d8148879246a4dbced5c/jpbowen},
  booktitle = {COMPSAC},
  crossref = {conf/compsac/2003},
  description = {dblp},
  ee = {http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200182abs.htm},
  interhash = {9a67f1c50455bc78f3009124f4e1b33a},
  intrahash = {8d6b0fea5c52d8148879246a4dbced5c},
  isbn = {0-7695-2020-0},
  keywords = {control-flow criteria engineering formal methods myown software testing tolerance},
  pages = {182-187},
  publisher = {IEEE Computer Society},
  title = {Tolerance of Control-Flow Testing Criteria.},
  url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2003.html#VilkomirKB03},
  year = 2003
}

@article{journals/fac/VilkomirB06,
  added-at = {2011-08-01T22:07:07.000+0200},
  author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.},
  biburl = {http://www.bibsonomy.org/bibtex/2128b7351d96eed807c396a5d34b7e074/jpbowen},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/s00165-005-0084-7},
  interhash = {e236b66175955b852703157ec03e7513},
  intrahash = {128b7351d96eed807c396a5d34b7e074},
  journal = {Formal Asp. Comput.},
  keywords = {MC/DC RC/DC analysis control-flow criteria engineering formal formalization methods myown software testing},
  number = 1,
  pages = {42-62},
  title = {From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.},
  url = {http://dblp.uni-trier.de/db/journals/fac/fac18.html#VilkomirB06},
  volume = 18,
  year = 2006
}

@inproceedings{conf/compsac/VilkomirB01,
  added-at = {2011-08-01T21:59:13.000+0200},
  author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.},
  biburl = {http://www.bibsonomy.org/bibtex/28501d0b5ebd4f973040e50a6c3c5cf56/jpbowen},
  booktitle = {COMPSAC},
  crossref = {conf/compsac/2001},
  description = {dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2001.960638},
  interhash = {81af5c2d8564ebc0bb637cb05f8e8b3f},
  intrahash = {8501d0b5ebd4f973040e50a6c3c5cf56},
  isbn = {0-7695-1372-7},
  keywords = {Z criteria formal formalization methods myown notation software testing},
  pages = {351-356},
  publisher = {IEEE Computer Society},
  title = {Formalization of Software Testing Criteria using the Z Notation.},
  url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2001.html#VilkomirB01},
  year = 2001
}

@article{journals/isse/VilkomirBG06,
  added-at = {2011-08-01T21:56:49.000+0200},
  author = {Vilkomir, Sergiy A. and Bowen, Jonathan P. and Ghose, Aditya K.},
  biburl = {http://www.bibsonomy.org/bibtex/2542c664a6588bc019b292a7ab1123c1a/jpbowen},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/s11334-006-0006-8},
  interhash = {7e12e72f490066ceaec32e979347f816},
  intrahash = {542c664a6588bc019b292a7ab1123c1a},
  journal = {ISSE},
  keywords = {assessment formal formalization methods myown regulation requirements safety-critical software standards},
  number = {3-4},
  pages = {165-178},
  title = {Formalization and assessment of regulatory requirements for safety-critical software.},
  url = {http://dblp.uni-trier.de/db/journals/isse/isse2.html#VilkomirBG06},
  volume = 2,
  year = 2006
}

@inproceedings{conf/fortest/VilkomirB08,
  added-at = {2011-08-01T19:42:21.000+0200},
  author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.},
  biburl = {http://www.bibsonomy.org/bibtex/2e05a1644fcb9b0f96ec456627631c289/jpbowen},
  booktitle = {Formal Methods and Testing},
  crossref = {conf/fortest/2008},
  description = {dblp},
  editor = {Hierons, Robert M. and Bowen, Jonathan P. and Harman, Mark},
  ee = {http://dx.doi.org/10.1007/978-3-540-78917-8_8},
  interhash = {c7e13f0a8077fae788e8cd2d85eefc1a},
  intrahash = {e05a1644fcb9b0f96ec456627631c289},
  isbn = {978-3-540-78916-1},
  keywords = {Analysis Control-Flow Criteria Formalization MC/DC RC/DC: Testing engineering formal methods myown software to},
  pages = {240-270},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.},
  url = {http://dblp.uni-trier.de/db/conf/fortest/fortest2008.html#VilkomirB08},
  volume = 4949,
  year = 2008
}

@article{journals/csur/HieronsBBCDDGHKKLSVWZ09,
  added-at = {2011-08-01T19:39:44.000+0200},
  author = {Hierons, Robert M. and Bogdanov, Kirill and Bowen, Jonathan P. and Cleaveland, Rance and Derrick, John and Dick, Jeremy and Gheorghe, Marian and Harman, Mark and Kapoor, Kalpesh and Krause, Paul and Lüttgen, Gerald and Simons, Anthony J. H. and Vilkomir, Sergiy A. and Woodward, Martin R. and Zedan, Hussein},
  biburl = {http://www.bibsonomy.org/bibtex/23f0bce75bf3282dc36a84c59df4d6950/jpbowen},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/1459352.1459354},
  interhash = {f8a2f277211d4a4103d7f0dcf5488c98},
  intrahash = {3f0bce75bf3282dc36a84c59df4d6950},
  journal = {ACM Comput. Surv.},
  keywords = {engineering formal methods myown software specifications support testing},
  number = 2,
  title = {Using formal specifications to support testing.},
  url = {http://dblp.uni-trier.de/db/journals/csur/csur41.html#HieronsBBCDDGHKKLSVWZ09},
  volume = 41,
  year = 2009
}

@inproceedings{conf/zum/VilkomirB02,
  added-at = {2011-08-01T19:22:50.000+0200},
  author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.},
  biburl = {http://www.bibsonomy.org/bibtex/2dc11282a65dec422c12212bfd71b85df/jpbowen},
  booktitle = {ZB},
  crossref = {conf/zum/2002},
  editor = {Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken},
  ee = {http://dx.doi.org/10.1007/3-540-45648-1_15},
  interhash = {0da0fa40ebabdfbd8ee22a061e152579},
  intrahash = {dc11282a65dec422c12212bfd71b85df},
  isbn = {3-540-43166-7},
  keywords = {Condition/Decision Coverage Criterion RC/DC Reinforced Software Testing formal methods myown},
  pages = {291-308},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.},
  url = {http://dblp.uni-trier.de/db/conf/zum/zb2002.html#VilkomirB02},
  volume = 2272,
  year = 2002
}

@inproceedings{conf/profes/VilkomirG04,
  added-at = {2011-07-06T00:00:00.000+0200},
  author = {Vilkomir, Sergiy A. and Ghose, Aditya K.},
  biburl = {http://www.bibsonomy.org/bibtex/2bb44e68892932c70858d89e7ec0f6c34/dblp},
  booktitle = {PROFES},
  crossref = {conf/profes/2004},
  editor = {Bomarius, Frank and Iida, Hajimu},
  ee = {http://dx.doi.org/10.1007/978-3-540-24659-6_38},
  interhash = {e2ffaa7a14167a6649c43917475cbc32},
  intrahash = {bb44e68892932c70858d89e7ec0f6c34},
  isbn = {3-540-21421-6},
  keywords = {dblp},
  pages = {523-537},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.},
  url = {http://dblp.uni-trier.de/db/conf/profes/profes2004.html#VilkomirG04},
  volume = 3009,
  year = 2004
}

@inproceedings{conf/zum/VilkomirB02,
  added-at = {2011-06-29T00:00:00.000+0200},
  author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.},
  biburl = {http://www.bibsonomy.org/bibtex/2dc11282a65dec422c12212bfd71b85df/dblp},
  booktitle = {ZB},
  crossref = {conf/zum/2002},
  editor = {Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken},
  ee = {http://dx.doi.org/10.1007/3-540-45648-1_15},
  interhash = {0da0fa40ebabdfbd8ee22a061e152579},
  intrahash = {dc11282a65dec422c12212bfd71b85df},
  isbn = {3-540-43166-7},
  keywords = {dblp},
  pages = {291-308},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.},
  url = {http://dblp.uni-trier.de/db/conf/zum/zb2002.html#VilkomirB02},
  volume = 2272,
  year = 2002
}

@inproceedings{conf/csee/TabriziVD11,
  added-at = {2011-06-17T00:00:00.000+0200},
  author = {Tabrizi, Mohammad H. N. and Vilkomir, Sergiy and Ding, Junhua},
  biburl = {http://www.bibsonomy.org/bibtex/2e0ed7ae6e170114be26d514255ef07b7/dblp},
  booktitle = {CSEE&T},
  crossref = {conf/csee/2011},
  editor = {Thompson, J. Barrie and Navarro, Emily Oh and Port, Dan},
  ee = {http://dx.doi.org/10.1109/CSEET.2011.5876096},
  interhash = {f2adee486ebae769ae6c7fc0f426d575},
  intrahash = {e0ed7ae6e170114be26d514255ef07b7},
  isbn = {978-1-4577-0348-5},
  keywords = {dblp},
  pages = {266-273},
  publisher = {IEEE Computer Society},
  title = {Development of North Carolina's first Software Engineering program: An experience report.},
  url = {http://dblp.uni-trier.de/db/conf/csee/csee2011.html#TabriziVD11},
  year = 2011
}

@article{journals/qre/FloodHWV10,
  added-at = {2010-02-04T00:00:00.000+0100},
  author = {Flood, Ben and Houlding, Brett and Wilson, Simon P. and Vilkomir, Sergiy},
  biburl = {http://www.bibsonomy.org/bibtex/26bf84ac7070c0b464fc94ba09789870a/dblp},
  date = {2010-02-04},
  description = {dblp},
  ee = {http://dx.doi.org/10.1002/qre.1049},
  interhash = {1a9c90c397d0b5c2530e6f791289e503},
  intrahash = {6bf84ac7070c0b464fc94ba09789870a},
  journal = {Quality and Reliability Eng. Int.},
  keywords = {dblp},
  number = 1,
  pages = {83-96},
  title = {A probability model of system downtime with implications for optimal warranty design.},
  url = {http://dblp.uni-trier.de/db/journals/qre/qre26.html#FloodHWV10},
  volume = 26,
  year = 2010
}

@article{journals/infsof/KrishnaVG09,
  added-at = {2009-11-26T00:00:00.000+0100},
  author = {Krishna, Aneesh and Vilkomir, Sergiy A. and Ghose, Aditya K.},
  biburl = {http://www.bibsonomy.org/bibtex/2362ecd64714d6b33f985df78a3e7264f/dblp},
  date = {2009-11-26},
  description = {dblp},
  ee = {http://dx.doi.org/10.1016/j.infsof.2008.05.015},
  interhash = {ea16806e0a445494323a347d80dbb777},
  intrahash = {362ecd64714d6b33f985df78a3e7264f},
  journal = {Information & Software Technology},
  keywords = {dblp},
  number = 2,
  pages = {478-496},
  title = {Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.},
  url = {http://dblp.uni-trier.de/db/journals/infsof/infsof51.html#KrishnaVG09},
  volume = 51,
  year = 2009
}

@inproceedings{conf/compsac/VilkomirSP09,
  added-at = {2009-11-26T00:00:00.000+0100},
  author = {Vilkomir, Sergiy A. and Swain, W. Thomas and Poore, Jesse H.},
  biburl = {http://www.bibsonomy.org/bibtex/2bb884c038f48853f3fbae3a28be4b651/dblp},
  booktitle = {COMPSAC (1)},
  crossref = {conf/compsac/2009},
  date = {2009-11-26},
  description = {dblp},
  editor = {Ahamed, Sheikh Iqbal and Bertino, Elisa and Chang, Carl K. and Getov, Vladimir and Liu, Lin and Ming, Hua and Subramanyan, Rajesh},
  ee = {http://dx.doi.org/10.1109/COMPSAC.2009.27},
  interhash = {d321d21b9f3d7313e6c932001534610a},
  intrahash = {bb884c038f48853f3fbae3a28be4b651},
  keywords = {dblp},
  pages = {136-141},
  publisher = {IEEE Computer Society},
  title = {Software Input Space Modeling with Constraints among Parameters.},
  url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2009-1.html#VilkomirSP09},
  year = 2009
}

@article{journals/csur/HieronsBBCDDGHKKLSVWZ09,
  added-at = {2009-02-27T00:00:00.000+0100},
  author = {Hierons, Robert M. and Bogdanov, Kirill and Bowen, Jonathan P. and Cleaveland, Rance and Derrick, John and Dick, Jeremy and Gheorghe, Marian and Harman, Mark and Kapoor, Kalpesh and Krause, Paul and Lüttgen, Gerald and Simons, Anthony J. H. and Vilkomir, Sergiy A. and Woodward, Martin R. and Zedan, Hussein},
  biburl = {http://www.bibsonomy.org/bibtex/23f0bce75bf3282dc36a84c59df4d6950/dblp},
  date = {2009-02-27},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/1459352.1459354},
  interhash = {f8a2f277211d4a4103d7f0dcf5488c98},
  intrahash = {3f0bce75bf3282dc36a84c59df4d6950},
  journal = {ACM Comput. Surv.},
  keywords = {dblp},
  number = 2,
  title = {Using formal specifications to support testing.},
  url = {http://dblp.uni-trier.de/db/journals/csur/csur41.html#HieronsBBCDDGHKKLSVWZ09},
  volume = 41,
  year = 2009
}

@article{hierons_08_using,
  added-at = {2009-02-11T20:14:28.000+0100},
  author = {Hierons, R. M. and Bogdanov, K. and Bowen, J. P. and Cleaveland, R. and Derrick, J. and Dick, J. and Gheorghe, M. and Harman, M. and Kapoor, K. and Krause, P. and Luettgen, G. and Simons, A. J. H. and Vilkomir, S. and Woodward, M. R. and Zedan, H.},
  biburl = {http://www.bibsonomy.org/bibtex/2ee7cf6996a64bb5c2c9a56622467e48a/leonardo},
  citeulike-article-id = {2626065},
  interhash = {32089c7eaf8c598c29e66cac77d3fefb},
  intrahash = {ee7cf6996a64bb5c2c9a56622467e48a},
  journal = {ACM Computing Surveys},
  keywords = {2009 formal_specification tests},
  posted-at = {2008-11-24 13:04:48},
  priority = {2},
  title = {Using Formal Specifications to Support Testing},
  year = 2008
}

@article{journals/qre/VilkomirPMM08,
  added-at = {2008-11-07T00:00:00.000+0100},
  author = {Vilkomir, Sergiy A. and Parnas, David Lorge and Mendiratta, Veena B. and Murphy, Eamonn},
  biburl = {http://www.bibsonomy.org/bibtex/2493215c293cd29454eb30b4b904fd5ad/dblp},
  date = {2008-11-07},
  description = {dblp},
  ee = {http://dx.doi.org/10.1002/qre.917},
  interhash = {af452475e79f610d6657ce2519f3efa4},
  intrahash = {493215c293cd29454eb30b4b904fd5ad},
  journal = {Quality and Reliability Eng. Int.},
  keywords = {dblp},
  number = 4,
  pages = {447-465},
  title = {Computer systems availability evaluation using a segregated failures model.},
  url = {http://dblp.uni-trier.de/db/journals/qre/qre24.html#VilkomirPMM08},
  volume = 24,
  year = 2008
}

@inproceedings{conf/iccS/VilkomirSPC08,
  added-at = {2008-06-30T00:00:00.000+0200},
  author = {Vilkomir, Sergiy A. and Swain, W. Thomas and Poore, Jesse H. and Clarno, Kevin T.},
  biburl = {http://www.bibsonomy.org/bibtex/23c8eaecb8e7fe7f907d6b3e02976ebc5/dblp},
  booktitle = {ICCS (3)},
  crossref = {conf/iccS/2008-3},
  date = {2008-06-30},
  description = {dblp},
  editor = {Bubak, Marian and van Albada, G. Dick and Dongarra, Jack and Sloot, Peter M. A.},
  ee = {http://dx.doi.org/10.1007/978-3-540-69389-5_34},
  interhash = {bf62925254c271f0727b2d1ce4c5662a},
  intrahash = {3c8eaecb8e7fe7f907d6b3e02976ebc5},
  isbn = {978-3-540-69388-8},
  keywords = {dblp},
  pages = {291-300},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Modeling Input Space for Testing Scientific Computational Software: A Case Study.},
  url = {http://dblp.uni-trier.de/db/conf/iccS/iccS2008-3.html#VilkomirSPC08},
  volume = 5103,
  year = 2008
}

@inproceedings{conf/fortest/VilkomirB08,
  added-at = {2008-04-21T00:00:00.000+0200},
  author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.},
  biburl = {http://www.bibsonomy.org/bibtex/2e05a1644fcb9b0f96ec456627631c289/dblp},
  booktitle = {Formal Methods and Testing},
  crossref = {conf/fortest/2008},
  date = {2008-04-21},
  description = {dblp},
  editor = {Hierons, Robert M. and Bowen, Jonathan P. and Harman, Mark},
  ee = {http://dx.doi.org/10.1007/978-3-540-78917-8_8},
  interhash = {c7e13f0a8077fae788e8cd2d85eefc1a},
  intrahash = {e05a1644fcb9b0f96ec456627631c289},
  isbn = {978-3-540-78916-1},
  keywords = {dblp},
  pages = {240-270},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.},
  url = {http://dblp.uni-trier.de/db/conf/fortest/fortest2008.html#VilkomirB08},
  volume = 4949,
  year = 2008
}

@inproceedings{conf/hase/ParnasV07,
  added-at = {2008-02-09T00:00:00.000+0100},
  author = {Parnas, David Lorge and Vilkomir, Sergiy A.},
  biburl = {http://www.bibsonomy.org/bibtex/27d0556a3819fb7bc3a20738e7a383a45/dblp},
  booktitle = {HASE},
  crossref = {conf/hase/2007},
  date = {2008-02-09},
  description = {dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.63},
  interhash = {90e21596e4e8d2ec74b1381ed48cf6f8},
  intrahash = {7d0556a3819fb7bc3a20738e7a383a45},
  keywords = {dblp},
  pages = {237-244},
  publisher = {IEEE Computer Society},
  title = {Precise Documentation of Critical Software.},
  url = {http://dblp.uni-trier.de/db/conf/hase/hase2007.html#ParnasV07},
  year = 2007
}