Search dblp for Publications

export results for "toc:db/conf/amost/amost2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/amost/AugustonMS05,
  author       = {Mikhail Auguston and
                  James Bret Michael and
                  Man{-}tak Shing},
  title        = {Environment behavior models for scenario generation and testing automation},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083284},
  doi          = {10.1145/1083274.1083284},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/AugustonMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/BinderH05,
  author       = {Robert V. Binder and
                  James E. Hanlon},
  title        = {The advanced mobile application testing environment},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083289},
  doi          = {10.1145/1083274.1083289},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/BinderH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/BouquetJLPU05,
  author       = {Fabrice Bouquet and
                  Eddie Jaffuel and
                  Bruno Legeard and
                  Fabien Peureux and
                  Mark Utting},
  title        = {Requirements traceability in automated test generation: application
                  to smart card software validation},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083282},
  doi          = {10.1145/1083274.1083282},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/BouquetJLPU05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/BryceC05,
  author       = {Ren{\'{e}}e C. Bryce and
                  Charles J. Colbourn},
  title        = {Test prioritization for pairwise interaction coverage},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083275},
  doi          = {10.1145/1083274.1083275},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/BryceC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/CaiL05,
  author       = {Xia Cai and
                  Michael R. Lyu},
  title        = {The effect of code coverage on fault detection under different testing
                  profiles},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083288},
  doi          = {10.1145/1083274.1083288},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/CaiL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/ClermontP05,
  author       = {Markus Clermont and
                  David Lorge Parnas},
  title        = {Using information about functions in selecting test cases},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083276},
  doi          = {10.1145/1083274.1083276},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/ClermontP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/KarrP05,
  author       = {Alan F. Karr and
                  Adam A. Porter},
  title        = {Distributed performance testing using statistical modeling},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083287},
  doi          = {10.1145/1083274.1083287},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/KarrP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/Lakey05,
  author       = {Peter B. Lakey},
  title        = {Model-based specification and testing applied to the Ground-Based
                  Midcourse Defense {(GMD)} system: an industry report},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083291},
  doi          = {10.1145/1083274.1083291},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/Lakey05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/LiN05,
  author       = {Xing Li and
                  Ramesh Nagarajan},
  title        = {Modeling for image processing system validation, verification and
                  testing},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083290},
  doi          = {10.1145/1083274.1083290},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/LiN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/LottJD05,
  author       = {Christopher M. Lott and
                  Ashish Jain and
                  Siddhartha R. Dalal},
  title        = {Modeling requirements for combinatorial software testing},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083281},
  doi          = {10.1145/1083274.1083281},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/LottJD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/McGuinnessM05,
  author       = {David McGuinness and
                  Liam Murphy},
  title        = {A simulation model of a multi-server {EJB} system},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083278},
  doi          = {10.1145/1083274.1083278},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amost/McGuinnessM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/OlimpiewG05,
  author       = {Erika Mir Olimpiew and
                  Hassan Gomaa},
  title        = {Model-based testing for applications derived from software product
                  lines},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083279},
  doi          = {10.1145/1083274.1083279},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/OlimpiewG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/Paradkar05,
  author       = {Amit M. Paradkar},
  title        = {Case studies on fault detection effectiveness of model based test
                  generation techniques},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083286},
  doi          = {10.1145/1083274.1083286},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/Paradkar05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/Robinson-MallettLMG05,
  author       = {Christopher Robinson{-}Mallett and
                  Peter Liggesmeyer and
                  Tilo M{\"{u}}cke and
                  Ursula Goltz},
  title        = {Generating optimal distinguishing sequences with a model checker},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083283},
  doi          = {10.1145/1083274.1083283},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/Robinson-MallettLMG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/Sayre05,
  author       = {Kirk Sayre},
  title        = {Usage model-based automated testing of {C++} templates},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083277},
  doi          = {10.1145/1083274.1083277},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/Sayre05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/SchillingMDSFF05,
  author       = {Albert Schilling and
                  Kelma Madeira and
                  Paula Donegan and
                  K{\^{e}}nia Soares Sousa and
                  Elizabeth Furtado and
                  Vasco Furtado},
  title        = {An integrated method for designing user interfaces based on tests},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083280},
  doi          = {10.1145/1083274.1083280},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/SchillingMDSFF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/SherriffNWV05,
  author       = {Mark Sherriff and
                  Nachiappan Nagappan and
                  Laurie A. Williams and
                  Mladen A. Vouk},
  title        = {Early estimation of defect density using an in-process Haskell metrics
                  model},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083285},
  doi          = {10.1145/1083274.1083285},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/SherriffNWV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/amost/2005,
  title        = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  isbn         = {1-59593-115-5},
  timestamp    = {Wed, 09 Jan 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/2005.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.