Search dblp for Publications

export results for "toc:db/conf/issta/tav91.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issta/AgrawalDS91,
  author       = {Hiralal Agrawal and
                  Richard A. DeMillo and
                  Eugene H. Spafford},
  editor       = {William E. Howden},
  title        = {Dynamic Slicing in the Presence of Unconstrained Pointers},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {60--73},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120813},
  doi          = {10.1145/120807.120813},
  timestamp    = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/AgrawalDS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/AvruninBCDW91,
  author       = {George S. Avrunin and
                  Ugo A. Buy and
                  James C. Corbett and
                  Laura K. Dillon and
                  Jack C. Wileden},
  editor       = {William E. Howden},
  title        = {Experiments with an Improved Constrained Expression Toolset},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {178--187},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120823},
  doi          = {10.1145/120807.120823},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/AvruninBCDW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/DoongF91,
  author       = {Roong{-}Ko Doong and
                  Phyllis G. Frankl},
  editor       = {William E. Howden},
  title        = {Case Studies on Testing Object-Oriented Programs},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {165--177},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120822},
  doi          = {10.1145/120807.120822},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DoongF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/DuesterwaldS91,
  author       = {Evelyn Duesterwald and
                  Mary Lou Soffa},
  editor       = {William E. Howden},
  title        = {Concurrency Analysis in the Presence of Procedures Using a Data-Flow
                  Framework},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {36--48},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120811},
  doi          = {10.1145/120807.120811},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DuesterwaldS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/FranklW91,
  author       = {Phyllis G. Frankl and
                  Stewart N. Weiss},
  editor       = {William E. Howden},
  title        = {An Experimental Comparison of the Effectiveness of the All-Uses and
                  All-Edges Adequacy Criteria},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {154--164},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120821},
  doi          = {10.1145/120807.120821},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/FranklW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GhezziK91,
  author       = {Carlo Ghezzi and
                  Richard A. Kennerer},
  editor       = {William E. Howden},
  title        = {Executing Formal Specifications: The {ASTRAL} to {TRIO} Translation
                  Approach},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {112--122},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120817},
  doi          = {10.1145/120807.120817},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GhezziK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GuptaS91,
  author       = {Rajiv Gupta and
                  Madalene Spezialetti},
  editor       = {William E. Howden},
  title        = {Loop Monotonic Computations: An Approach for the Efficient Run-Time
                  Detection of Races},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {98--111},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120816},
  doi          = {10.1145/120807.120816},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GuptaS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Harrold91,
  author       = {Mary Jean Harrold},
  editor       = {William E. Howden},
  title        = {The Effects of Optimizing Transformations on Data-Flow Adequate Test
                  Sets},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {130--138},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120819},
  doi          = {10.1145/120807.120819},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Harrold91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HorgnaL91,
  author       = {Joseph Robert Horgan and
                  Saul London},
  editor       = {William E. Howden},
  title        = {Data Flow Coverage and the {C} Language},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {87--97},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120815},
  doi          = {10.1145/120807.120815},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HorgnaL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/LongC91,
  author       = {Douglas L. Long and
                  Lori A. Clarke},
  editor       = {William E. Howden},
  title        = {Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model
                  of Synchronization},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {21--35},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120810},
  doi          = {10.1145/120807.120810},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/LongC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Marick91,
  author       = {Brian Marick},
  editor       = {William E. Howden},
  title        = {The Weak Mutation Hypothesis},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {190--199},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120825},
  doi          = {10.1145/120807.120825},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Marick91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/OffuttL91,
  author       = {A. Jefferson Offutt and
                  Stephen D. Lee},
  editor       = {William E. Howden},
  title        = {How Strong is Weak Mutation?},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {200--213},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120826},
  doi          = {10.1145/120807.120826},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/OffuttL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/OstrandW91,
  author       = {Thomas J. Ostrand and
                  Elaine J. Weyuker},
  editor       = {William E. Howden},
  title        = {Data Flow-Based Test Adequacy Analysis for Languages with Pointers},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {74--86},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120814},
  doi          = {10.1145/120807.120814},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/OstrandW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/PandeL91,
  author       = {Hemant D. Pande and
                  William Landi},
  editor       = {William E. Howden},
  title        = {Interprocedural Def-Use Associations in {C} Programs},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {139--153},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120820},
  doi          = {10.1145/120807.120820},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/PandeL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Podgurski91,
  author       = {Andy Podgurski},
  editor       = {William E. Howden},
  title        = {Reliability, Sampling, and Algorithmic Randomness},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120809},
  doi          = {10.1145/120807.120809},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Podgurski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Sankar91,
  author       = {Sriram Sankar},
  editor       = {William E. Howden},
  title        = {Run-Time Consistency Checking of Algebraic Specifications},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {123--129},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120818},
  doi          = {10.1145/120807.120818},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Sankar91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/WeyukerWH91,
  author       = {Elaine J. Weyuker and
                  Stewart N. Weiss and
                  Richard G. Hamlet},
  editor       = {William E. Howden},
  title        = {Comparison of Program Testing Strategies},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120808},
  doi          = {10.1145/120807.120808},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/WeyukerWH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/YehY91,
  author       = {Wei Jen Yeh and
                  Michal Young},
  editor       = {William E. Howden},
  title        = {Compositional Reachability Analysis Using Process Algebra},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {49--59},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120812},
  doi          = {10.1145/120807.120812},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YehY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Young91,
  author       = {William D. Young},
  editor       = {William E. Howden},
  title        = {Formal Methods versus Software Engineering: Is There a Conflict?},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {188--189},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120824},
  doi          = {10.1145/120807.120824},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Young91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/1991,
  editor       = {William E. Howden},
  title        = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807},
  doi          = {10.1145/120807},
  isbn         = {0-89791-449-X},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/1991.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.