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}
}

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.