Search dblp for Publications

export results for "toc:db/journals/stvr/stvr10.bht:"

 download as .bib file

@article{DBLP:journals/stvr/BallHRWW00,
  author       = {Thomas Ball and
                  Daniel Hoffman and
                  Frank Ruskey and
                  Richard Webber and
                  Lee J. White},
  title        = {State Generation and Automated Class Testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {3},
  pages        = {149--170},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200009)10:3\<149::AID-STVR206\>3.0.CO;2-T},
  doi          = {10.1002/1099-1689(200009)10:3\<149::AID-STVR206\>3.0.CO;2-T},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/BallHRWW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/CarringtonMMMS00,
  author       = {David A. Carrington and
                  Ian MacColl and
                  Jason McDonald and
                  Leesa Murray and
                  Paul A. Strooper},
  title        = {From Object-Z Specifications to ClassBench Test Suites},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {2},
  pages        = {111--137},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200006)10:2\<111::AID-STVR204\>3.0.CO;2-P},
  doi          = {10.1002/1099-1689(200006)10:2\<111::AID-STVR204\>3.0.CO;2-P},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/CarringtonMMMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Derrick00,
  author       = {John Derrick},
  title        = {Concurrent and Real-Time Systems: The {CSP} Approach, Steve Schneider,
                  Wiley, 2000 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {3},
  pages        = {195},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200009)10:3\<195::AID-STVR207\>3.0.CO;2-F},
  doi          = {10.1002/1099-1689(200009)10:3\<195::AID-STVR207\>3.0.CO;2-F},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Derrick00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Edwards00,
  author       = {Stephen H. Edwards},
  title        = {Black-box testing using flowgraphs: an experimental assessment of
                  effectiveness and automation potential},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {4},
  pages        = {249--262},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200012)10:4\<249::AID-STVR215\>3.0.CO;2-C},
  doi          = {10.1002/1099-1689(200012)10:4\<249::AID-STVR215\>3.0.CO;2-C},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Edwards00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/HarroldRSWY00,
  author       = {Mary Jean Harrold and
                  Gregg Rothermel and
                  Kent Sayre and
                  Rui Wu and
                  Liu Yi},
  title        = {An Empirical Investigation of the Relationship Between Spectra Differences
                  and Regression Faults},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {3},
  pages        = {171--194},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200009)10:3\<171::AID-STVR209\>3.0.CO;2-J},
  doi          = {10.1002/1099-1689(200009)10:3\<171::AID-STVR209\>3.0.CO;2-J},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/HarroldRSWY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Hierons00,
  author       = {Robert M. Hierons},
  title        = {Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir
                  and Amrit L. Goel, Springer-Verlag, 2000 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {3},
  pages        = {196},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200009)10:3\<196::AID-STVR208\>3.0.CO;2-B},
  doi          = {10.1002/1099-1689(200009)10:3\<196::AID-STVR208\>3.0.CO;2-B},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Hierons00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/HieronsD00,
  author       = {Robert M. Hierons and
                  John Derrick},
  title        = {Editorial: special issue on specification-based testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {4},
  pages        = {201--202},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200012)10:4\<201::AID-STVR214\>3.0.CO;2-Z},
  doi          = {10.1002/1099-1689(200012)10:4\<201::AID-STVR214\>3.0.CO;2-Z},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/HieronsD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/HongKCBU00,
  author       = {Hyoung Seok Hong and
                  Young Gon Kim and
                  Sung Deok Cha and
                  Doo{-}Hwan Bae and
                  Hasan Ural},
  title        = {A test sequence selection method for statecharts},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {4},
  pages        = {203--227},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200012)10:4\<203::AID-STVR212\>3.0.CO;2-2},
  doi          = {10.1002/1099-1689(200012)10:4\<203::AID-STVR212\>3.0.CO;2-2},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/HongKCBU00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Krause00,
  author       = {Paul Krause},
  title        = {Software Test Automation: Effective Use of Test Execution Tools, Mark
                  Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {2},
  pages        = {140--142},
  year         = {2000},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Krause00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/MayrhauserC00,
  author       = {Anneliese von Mayrhauser and
                  Dexing Chen},
  title        = {Effect of Fault Distribution and Execution Patterns on Fault Exposure
                  in Software: {A} Simulation Study},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {1},
  pages        = {47--64},
  year         = {2000},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(200003)10:1\<47::AID-STVR194\>3.0.CO;2-1},
  doi          = {10.1002/(SICI)1099-1689(200003)10:1\<47::AID-STVR194\>3.0.CO;2-1},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/MayrhauserC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Murdoch00,
  author       = {John Murdoch},
  title        = {System Safety: {HAZOP} and Software HAZOP, Felix Redmill, Morris Chudleigh
                  and James Catmur, Wiley, 1999 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {1},
  pages        = {65--66},
  year         = {2000},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(200003)10:1\<65::AID-STVR199\>3.0.CO;2-J},
  doi          = {10.1002/(SICI)1099-1689(200003)10:1\<65::AID-STVR199\>3.0.CO;2-J},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Murdoch00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Poulovassilis00,
  author       = {Alexandra Poulovassilis},
  title        = {Classical and Object-Oriented Software Engineering with {UML} and
                  C++, Stephen R. Schach, McGraw-Hill, 1998 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {2},
  pages        = {139--140},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200006)10:2\<139::AID-STVR203\>3.0.CO;2-E},
  doi          = {10.1002/1099-1689(200006)10:2\<139::AID-STVR203\>3.0.CO;2-E},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Poulovassilis00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/RothermelHD00,
  author       = {Gregg Rothermel and
                  Mary Jean Harrold and
                  Jeinay Dedhia},
  title        = {Regression Test Selection for {C++} Software},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {2},
  pages        = {77--109},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200006)10:2\<77::AID-STVR197\>3.0.CO;2-E},
  doi          = {10.1002/1099-1689(200006)10:2\<77::AID-STVR197\>3.0.CO;2-E},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/RothermelHD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Taylor00,
  author       = {Richard N. Taylor},
  title        = {Test Process Improvement, Tim Koomen and Martin Pol, Addison-Wesley,
                  1999 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {1},
  pages        = {67--69},
  year         = {2000},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(200003)10:1\<67::AID-STVR200\>3.0.CO;2-D},
  doi          = {10.1002/(SICI)1099-1689(200003)10:1\<67::AID-STVR200\>3.0.CO;2-D},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Taylor00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Wah00,
  author       = {K. S. How Tai Wah},
  title        = {A Theoretical Study of Fault Coupling},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {1},
  pages        = {3--45},
  year         = {2000},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(200003)10:1\<3::AID-STVR196\>3.0.CO;2-P},
  doi          = {10.1002/(SICI)1099-1689(200003)10:1\<3::AID-STVR196\>3.0.CO;2-P},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Wah00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/WimmelLPS00,
  author       = {Guido Wimmel and
                  Heiko L{\"{o}}tzbeyer and
                  Alexander Pretschner and
                  Oscar Slotosch},
  title        = {Specification based test sequence generation with propositional logic},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {4},
  pages        = {229--248},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200012)10:4\<229::AID-STVR213\>3.0.CO;2-O},
  doi          = {10.1002/1099-1689(200012)10:4\<229::AID-STVR213\>3.0.CO;2-O},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/WimmelLPS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Woodward00,
  author       = {Martin R. Woodward},
  title        = {Editorial: 'The times they are a-changing'},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {2},
  pages        = {75--76},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200006)10:2\<75::AID-STVR205\>3.0.CO;2-S},
  doi          = {10.1002/1099-1689(200006)10:2\<75::AID-STVR205\>3.0.CO;2-S},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Woodward00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Woodward00a,
  author       = {Martin R. Woodward},
  title        = {Editorial: 'Collaboration, collaboration, collaboration'},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {3},
  pages        = {147--148},
  year         = {2000},
  url          = {https://doi.org/10.1002/1099-1689(200009)10:3\<147::AID-STVR211\>3.0.CO;2-8},
  doi          = {10.1002/1099-1689(200009)10:3\<147::AID-STVR211\>3.0.CO;2-8},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Woodward00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Yates00,
  author       = {Derek Yates},
  title        = {Editorial: 'The Best Ever'},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {10},
  number       = {1},
  pages        = {1--2},
  year         = {2000},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(200003)10:1\<1::AID-STVR202\>3.0.CO;2-8},
  doi          = {10.1002/(SICI)1099-1689(200003)10:1\<1::AID-STVR202\>3.0.CO;2-8},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Yates00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.