default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/stvr/stvr4.bht:"
download as .bib file
@article{DBLP:journals/stvr/AzemB94,
author = {Alireza Azem and
Fevzi Belli},
title = {Determining the Reliability of Prolog Programs},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {4},
pages = {203--222},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040403},
doi = {10.1002/STVR.4370040403},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AzemB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Bainbridge94,
author = {John Bainbridge},
title = {Defining Testability Metrics Axiomatically},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {2},
pages = {63--80},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040203},
doi = {10.1002/STVR.4370040203},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Bainbridge94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Beizer94,
author = {Boris Beizer},
title = {Rebuttal of the Book Review by R. Whitty of 'Software Testing Techniques'
(2nd Edition)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {45--48},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040106},
doi = {10.1002/STVR.4370040106},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Beizer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Burgess94,
author = {Colin J. Burgess},
title = {The Automated Generation of Test Cases for Compilers},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {2},
pages = {81--99},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040204},
doi = {10.1002/STVR.4370040204},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Burgess94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Elliott94,
author = {Bruce Elliott},
title = {Cutting Your Test Development Time with {HP} VEE, an Iconic Programming
Language, Hewlett-Packard, 1994 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {3},
pages = {192},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040306},
doi = {10.1002/STVR.4370040306},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Elliott94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Fenton94,
author = {Norman E. Fenton},
title = {Software Engineering Metrics, Volume 1: Measures and Validations,
by Martin Sheppard, McGraw-Hill, 1993 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {2},
pages = {119},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040206},
doi = {10.1002/STVR.4370040206},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Fenton94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Fuchs94,
author = {Norbert Fuchs},
title = {{ISO} 9001 and Software Quality Assurance, by Darrel Ince, McGraw-Hill,
1994 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {2},
pages = {119--120},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040207},
doi = {10.1002/STVR.4370040207},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Fuchs94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Gillespie94,
author = {Thom Gillespie},
title = {User Interface Software, by Len Bass and Prasun Dewan (Editors), Wiley,
1993 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {51},
year = {1994},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Gillespie94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/JacksonH94,
author = {Ann Jackson and
Daniel Hoffman},
title = {Inspecting Module Interface Specifications},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {2},
pages = {101--117},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040205},
doi = {10.1002/STVR.4370040205},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/JacksonH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Lano94,
author = {Kevin Lano},
title = {Transformational Program Analysis},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {3},
pages = {155--189},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040304},
doi = {10.1002/STVR.4370040304},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Lano94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MathurW94,
author = {Aditya P. Mathur and
W. Eric Wong},
title = {An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy
Criteria},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {9--31},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040104},
doi = {10.1002/STVR.4370040104},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MathurW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Mole94,
author = {David Mole},
title = {Z - An Introduction to Formal Methods, by Antoni Diller, Wiley, Second
Edition, 1994 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {3},
pages = {191},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040305},
doi = {10.1002/STVR.4370040305},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Mole94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/OffuttC94,
author = {A. Jefferson Offutt and
W. M. Craft},
title = {Using Compiler Optimization Techniques to Detect Equivalent Mutants},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {3},
pages = {131--154},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040303},
doi = {10.1002/STVR.4370040303},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/OffuttC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Sneed94,
author = {Harry M. Sneed},
title = {Validating Functional Equivalence of Re-engineered Programs via Control
Path, Result, and Data Flow Comparison},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {33--44},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040105},
doi = {10.1002/STVR.4370040105},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Sneed94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/VeeversM94,
author = {Alan Veevers and
Adam C. Marshall},
title = {A Relationship Between Software Coverage Metrics and Reliability},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {3--8},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040103},
doi = {10.1002/STVR.4370040103},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/VeeversM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/White94,
author = {Lee J. White},
title = {Editorial: Too Many Conference Choices?},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {4},
pages = {199--201},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040402},
doi = {10.1002/STVR.4370040402},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/White94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Whitty94,
author = {Robin W. Whitty},
title = {Reply to the Rebuttal of the Review of Beizer's 'Software Testing
Techniques' (2nd Edition)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {49},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040107},
doi = {10.1002/STVR.4370040107},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Whitty94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Whitty94a,
author = {Robin W. Whitty},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {2},
pages = {61--62},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040202},
doi = {10.1002/STVR.4370040202},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Whitty94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Whitty94b,
author = {Robin W. Whitty},
title = {Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice
Hall, 1994 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {4},
pages = {255--256},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040405},
doi = {10.1002/STVR.4370040405},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Whitty94b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Williams94,
author = {Mikey Williams},
title = {Developing User Interfaces: Ensuring Usability Through Product and
Process, by Deborah Hix and H. Rex Hartson, Wiley, 1993 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {51--53},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040109},
doi = {10.1002/STVR.4370040109},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Williams94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward94,
author = {Martin R. Woodward},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {3},
pages = {129--130},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040302},
doi = {10.1002/STVR.4370040302},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Yates94,
author = {Derek Yates},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {1},
pages = {1--2},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040102},
doi = {10.1002/STVR.4370040102},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Yates94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/YehY94,
author = {Wei Jen Yeh and
Michal Young},
title = {Re-designing Tasking Structures of Ada Programs for Analysis: {A}
Case Study},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {4},
pages = {223--253},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040404},
doi = {10.1002/STVR.4370040404},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/YehY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-10-23 20:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
