@article{ paradkar_towards_2004,
  series = {Special {Issue} on {Software} {Engineering},  {Applications}, {Practices} and {Tools} from the {ACM} {Symposium} on {Applied} {Computing} 2003},
  title = {Towards model-based generation of self-priming and self-checking conformance tests for interactive systems},
  volume = {46},
  issn = {0950-5849},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584903001964},
  doi = {10.1016/j.infsof.2003.09.005},
  abstract = {This paper describes a model-based approach to generate conformance tests for interactive applications. Our method addresses generation of: (1) small yet effective set of test frames for testing individual operations, (2) a Set up sequence that brings the system under test in an appropriate state for a test frame (self-priming), (3) a Verification sequence for expected output and state changes (self-checking), and, (4) negative test cases in the presence of exceptions. Our method exploits a novel mutation scheme applied to operations modeled as relationships among parameters and state variables; a set of novel abstraction techniques which result in a compact finite state automaton; and search techniques to automatically generate the set up and verification sequences. We illustrate our method with a simple ATM application.},
  number = {5},
  urldate = {2014-07-21TZ},
  journal = {Information and Software Technology},
  author = {Paradkar, Amit},
  month = {April},
  year = {2004},
  keywords = {Model-based test generation, Software fault models, Software test oracles, _done, _meta, _model_of_faults},
  pages = {315--322}
}

{"_id":"ywTPYRu8XPyfzdJFF","bibbaseid":"paradkar-towardsmodelbasedgenerationofselfprimingandselfcheckingconformancetestsforinteractivesystems-2004","downloads":0,"creationDate":"2015-04-15T11:01:18.204Z","title":"Towards model-based generation of self-priming and self-checking conformance tests for interactive systems","author_short":["Paradkar, A."],"year":2004,"bibtype":"article","biburl":"http://bibbase.org/zotero/troeger","bibdata":{"abstract":"This paper describes a model-based approach to generate conformance tests for interactive applications. Our method addresses generation of: (1) small yet effective set of test frames for testing individual operations, (2) a Set up sequence that brings the system under test in an appropriate state for a test frame (self-priming), (3) a Verification sequence for expected output and state changes (self-checking), and, (4) negative test cases in the presence of exceptions. Our method exploits a novel mutation scheme applied to operations modeled as relationships among parameters and state variables; a set of novel abstraction techniques which result in a compact finite state automaton; and search techniques to automatically generate the set up and verification sequences. We illustrate our method with a simple ATM application.","author":["Paradkar, Amit"],"author_short":["Paradkar, A."],"bibtex":"@article{ paradkar_towards_2004,\n series = {Special {Issue} on {Software} {Engineering}, {Applications}, {Practices} and {Tools} from the {ACM} {Symposium} on {Applied} {Computing} 2003},\n title = {Towards model-based generation of self-priming and self-checking conformance tests for interactive systems},\n volume = {46},\n issn = {0950-5849},\n url = {http://www.sciencedirect.com/science/article/pii/S0950584903001964},\n doi = {10.1016/j.infsof.2003.09.005},\n abstract = {This paper describes a model-based approach to generate conformance tests for interactive applications. Our method addresses generation of: (1) small yet effective set of test frames for testing individual operations, (2) a Set up sequence that brings the system under test in an appropriate state for a test frame (self-priming), (3) a Verification sequence for expected output and state changes (self-checking), and, (4) negative test cases in the presence of exceptions. Our method exploits a novel mutation scheme applied to operations modeled as relationships among parameters and state variables; a set of novel abstraction techniques which result in a compact finite state automaton; and search techniques to automatically generate the set up and verification sequences. We illustrate our method with a simple ATM application.},\n number = {5},\n urldate = {2014-07-21TZ},\n journal = {Information and Software Technology},\n author = {Paradkar, Amit},\n month = {April},\n year = {2004},\n keywords = {Model-based test generation, Software fault models, Software test oracles, _done, _meta, _model_of_faults},\n pages = {315--322}\n}","bibtype":"article","doi":"10.1016/j.infsof.2003.09.005","id":"paradkar_towards_2004","issn":"0950-5849","journal":"Information and Software Technology","key":"paradkar_towards_2004","keywords":"Model-based test generation, Software fault models, Software test oracles, _done, _meta, _model_of_faults","month":"April","number":"5","pages":"315--322","series":"Special Issue on Software Engineering, Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003","title":"Towards model-based generation of self-priming and self-checking conformance tests for interactive systems","type":"article","url":"http://www.sciencedirect.com/science/article/pii/S0950584903001964","urldate":"2014-07-21TZ","volume":"46","year":"2004","bibbaseid":"paradkar-towardsmodelbasedgenerationofselfprimingandselfcheckingconformancetestsforinteractivesystems-2004","role":"author","urls":{"Paper":"http://www.sciencedirect.com/science/article/pii/S0950584903001964"},"keyword":["Model-based test generation","Software fault models","Software test oracles","_done","_meta","_model_of_faults"],"downloads":0},"search_terms":["towards","model","based","generation","self","priming","self","checking","conformance","tests","interactive","systems","paradkar"],"keywords":["model-based test generation","software fault models","software test oracles","_done","_meta","_model_of_faults"],"authorIDs":[],"dataSources":["zHc5HdgBCDgkarEqH"]}