Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/issta/issta94.bht:"
download as .bib file
@inproceedings{DBLP:conf/issta/AvritzerW94,
author = {Alberto Avritzer and
Elaine J. Weyuker},
editor = {Thomas J. Ostrand},
title = {Generating Test Suites for Software Load Testing},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {44--57},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186507},
doi = {10.1145/186258.186507},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AvritzerW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BertolinoM94,
author = {Antonia Bertolino and
Martina Marr{\'{e}}},
editor = {Thomas J. Ostrand},
title = {A Meaningful Bound for Branch Testing (Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {202},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187203},
doi = {10.1145/186258.187203},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BertolinoM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BochmannP94,
author = {Gregor von Bochmann and
Alexandre Petrenko},
editor = {Thomas J. Ostrand},
title = {Protocol Testing: Review of Methods and Relevance for Software Testing},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {109--124},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187153},
doi = {10.1145/186258.187153},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BochmannP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BuyS94,
author = {Ugo A. Buy and
Robert H. Sloan},
editor = {Thomas J. Ostrand},
title = {Analysis of Real-Time Programs with Simple Time Petri Nets},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {228--239},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187243},
doi = {10.1145/186258.187243},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BuyS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChechikG94,
author = {Marsha Chechik and
John D. Gannon},
editor = {Thomas J. Ostrand},
title = {Automatic Verification of Requirements Implementation},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {1--14},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186324},
doi = {10.1145/186258.186324},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChechikG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Corbett94,
author = {James C. Corbett},
editor = {Thomas J. Ostrand},
title = {An Empirical Evaluation of Three Methods for Deadlock Analysis of
Ada Tasking Programs},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {204--215},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187206},
doi = {10.1145/186258.187206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Corbett94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Damodaran-KamalF94,
author = {Suresh K. Damodaran{-}Kamal and
Joan M. Francioni},
editor = {Thomas J. Ostrand},
title = {Testing Races in Parallel Programs with an OtOt Strategy},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {216--227},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187242},
doi = {10.1145/186258.187242},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Damodaran-KamalF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DouglasK94,
author = {Jeffrey Douglas and
Richard A. Kemmerer},
editor = {Thomas J. Ostrand},
title = {Aslantest: {A} Symbolic Execution Tool for Testing Aslan Formal Specifications},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {15--27},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186487},
doi = {10.1145/186258.186487},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/DouglasK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FleyshgakkerW94,
author = {Vladimir N. Fleyshgakker and
Stewart N. Weiss},
editor = {Thomas J. Ostrand},
title = {Efficient Mutation Analysis: {A} New Approach},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {185--195},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187179},
doi = {10.1145/186258.187179},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/FleyshgakkerW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Forgacs94,
author = {Istv{\'{a}}n Forg{\'{a}}cs},
editor = {Thomas J. Ostrand},
title = {The All Program Functions Criterion for Revealing Computation Errors
(Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {198},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187197},
doi = {10.1145/186258.187197},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Forgacs94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GoldbergWZ94,
author = {Allen Goldberg and
Tie{-}Cheng Wang and
David Zimmerman},
editor = {Thomas J. Ostrand},
title = {Applications of Feasible Path Analysis to Program Testing},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {80--94},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186523},
doi = {10.1145/186258.186523},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GoldbergWZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HowdenH94,
author = {William E. Howden and
Yudong Huang},
editor = {Thomas J. Ostrand},
title = {Confidence Oriented Software Dependability Measurement (Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {196},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187194},
doi = {10.1145/186258.187194},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HowdenH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JasperBWCZ94,
author = {Robert Jasper and
Mike Brennan and
Keith E. Williamson and
Bill Currier and
David Zimmerman},
editor = {Thomas J. Ostrand},
title = {Test Data Generation and Feasible Path Analysis},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {95--107},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187150},
doi = {10.1145/186258.187150},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/JasperBWCZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Kapur94,
author = {Deepak Kapur},
editor = {Thomas J. Ostrand},
title = {An Automated Tool for Analyzing Completeness of Equational Specifications},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {28--43},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186496},
doi = {10.1145/186258.186496},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Kapur94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Karam94,
author = {Gerald M. Karam},
editor = {Thomas J. Ostrand},
title = {Visualization using Timelines},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {125--137},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187157},
doi = {10.1145/186258.187157},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Karam94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KnightCFW94,
author = {John C. Knight and
Aaron G. Cass and
Antonio M. Fern{\'{a}}ndez and
Kevin G. Wika},
editor = {Thomas J. Ostrand},
title = {Testing a Safety-Critical Application},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {199},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187198},
doi = {10.1145/186258.187198},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KnightCFW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KorelY94,
author = {Bogdan Korel and
Satish Yalamanchili},
editor = {Thomas J. Ostrand},
title = {Forward Computation of Dynamic Program Slices},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {66--79},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186514},
doi = {10.1145/186258.186514},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KorelY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Marcus94,
author = {Leo Marcus},
editor = {Thomas J. Ostrand},
title = {The Incorporation of Testing into Verification: Direct, Modular, and
Hierarchical Correctness Degrees (Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {197},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187196},
doi = {10.1145/186258.187196},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Marcus94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MurrillM94,
author = {Branson W. Murrill and
Larry J. Morell},
editor = {Thomas J. Ostrand},
title = {An Experimental Approach to Analyzing Software Semantics Using Error
Flow Information (Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {200},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187200},
doi = {10.1145/186258.187200},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MurrillM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PetersP94,
author = {Dennis K. Peters and
David Lorge Parnas},
editor = {Thomas J. Ostrand},
title = {Generating a Test Oracle from Program Documentation (Work in Progress)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {58--65},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186508},
doi = {10.1145/186258.186508},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PetersP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PollockBS94,
author = {Lori L. Pollock and
Mary P. Bivens and
Mary Lou Soffa},
editor = {Thomas J. Ostrand},
title = {Debugging Optimized Code Via Tailoring (Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {201},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187201},
doi = {10.1145/186258.187201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PollockBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Richardson94,
author = {Debra J. Richardson},
editor = {Thomas J. Ostrand},
title = {{TAOS:} Testing with Analysis and Oracle Support},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {138--153},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187158},
doi = {10.1145/186258.187158},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Richardson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RothermelH94,
author = {Gregg Rothermel and
Mary Jean Harrold},
editor = {Thomas J. Ostrand},
title = {Selecting Tests and Identifying Test Coverage Requirements for Modified
Software},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {169--184},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187171},
doi = {10.1145/186258.187171},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/RothermelH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShimeallFCV94,
author = {Timothy J. Shimeall and
Michael Friedman and
John Chilenski and
Jeffrey M. Voas},
editor = {Thomas J. Ostrand},
title = {Views on Software Testability (Panel Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {240},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187250},
doi = {10.1145/186258.187250},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShimeallFCV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SiepmannN94,
author = {Ernst Siepmann and
A. Richard Newton},
editor = {Thomas J. Ostrand},
title = {{TOBAC:} {A} Test Case Browser for Testing Object-Oriented Software},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {154--168},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187168},
doi = {10.1145/186258.187168},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SiepmannN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Young94,
author = {Michal Young},
editor = {Thomas J. Ostrand},
title = {State-Space Analysis as an Aid to Testing (Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {203},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187204},
doi = {10.1145/186258.187204},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Young94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/1994,
editor = {Thomas J. Ostrand},
title = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258},
doi = {10.1145/186258},
isbn = {0-89791-683-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-30 23:00 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:
