@inproceedings{Ala-Mil-Son_MET16,
  author    = {Eman Alatawi and 
		Tim Miller and 
		Harald S{\o}ndergaard},
  title     = {Generating Source Inputs for Metamorphic Testing
                Using Dynamic Symbolic Execution},
  booktitle = {MET'16: Proceedings of the First International Workshop on
                Metamorphic Testing},
  pages     = {19--25},
  publisher = {ACM},
  year      = {2016},
  doi       = {10.1145/2896971.2896980},
  isbn      = {978-1-4503-4163-9},
  abstract  = {Metamorphic testing uses domain-specific properties about
                a program's intended behaviour to alleviate the oracle
                problem. From a given set of source test inputs, a set of
                follow-up test inputs are generated which have some
                relation to the source inputs, and their outputs are
                compared to outputs from the source tests, using
                metamorphic relations.  We evaluate the use of an
                automated test input generation technique called dynamic
                symbolic execution (DSE) to generate the source test
                inputs for metamorphic testing. We investigate whether
                DSE increases source-code coverage and fault finding
                effectiveness of metamorphic testing compared to the use
                of random testing, and whether the use of metamorphic
                relations as a supportive technique improves the test
                inputs generated by DSE. Our results show that DSE
                improves the coverage and fault detection rate of
                metamorphic testing compared to random testing using
                significantly smaller test suites, and the use of
                metamorphic relations increases code coverage of both
                DSE and random tests considerably, but the improvement
                in the fault detection rate may be marginal and depends
                on the used metamorphic relations.},
  keywords  = {Symbolic execution, Testing},
}

{"_id":"tt6yJN5oupqigKttA","bibbaseid":"alatawi-miller-sndergaard-generatingsourceinputsformetamorphictestingusingdynamicsymbolicexecution-2016","author_short":["Alatawi, E.","Miller, T.","Søndergaard, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Eman"],"propositions":[],"lastnames":["Alatawi"],"suffixes":[]},{"firstnames":["Tim"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Harald"],"propositions":[],"lastnames":["Søndergaard"],"suffixes":[]}],"title":"Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution","booktitle":"MET'16: Proceedings of the First International Workshop on Metamorphic Testing","pages":"19–25","publisher":"ACM","year":"2016","doi":"10.1145/2896971.2896980","isbn":"978-1-4503-4163-9","abstract":"Metamorphic testing uses domain-specific properties about a program's intended behaviour to alleviate the oracle problem. From a given set of source test inputs, a set of follow-up test inputs are generated which have some relation to the source inputs, and their outputs are compared to outputs from the source tests, using metamorphic relations. We evaluate the use of an automated test input generation technique called dynamic symbolic execution (DSE) to generate the source test inputs for metamorphic testing. We investigate whether DSE increases source-code coverage and fault finding effectiveness of metamorphic testing compared to the use of random testing, and whether the use of metamorphic relations as a supportive technique improves the test inputs generated by DSE. Our results show that DSE improves the coverage and fault detection rate of metamorphic testing compared to random testing using significantly smaller test suites, and the use of metamorphic relations increases code coverage of both DSE and random tests considerably, but the improvement in the fault detection rate may be marginal and depends on the used metamorphic relations.","keywords":"Symbolic execution, Testing","bibtex":"@inproceedings{Ala-Mil-Son_MET16,\n author = {Eman Alatawi and \n\t\tTim Miller and \n\t\tHarald S{\\o}ndergaard},\n title = {Generating Source Inputs for Metamorphic Testing\n Using Dynamic Symbolic Execution},\n booktitle = {MET'16: Proceedings of the First International Workshop on\n Metamorphic Testing},\n pages = {19--25},\n publisher = {ACM},\n year = {2016},\n doi = {10.1145/2896971.2896980},\n isbn = {978-1-4503-4163-9},\n abstract = {Metamorphic testing uses domain-specific properties about\n a program's intended behaviour to alleviate the oracle\n problem. From a given set of source test inputs, a set of\n follow-up test inputs are generated which have some\n relation to the source inputs, and their outputs are\n compared to outputs from the source tests, using\n metamorphic relations. We evaluate the use of an\n automated test input generation technique called dynamic\n symbolic execution (DSE) to generate the source test\n inputs for metamorphic testing. We investigate whether\n DSE increases source-code coverage and fault finding\n effectiveness of metamorphic testing compared to the use\n of random testing, and whether the use of metamorphic\n relations as a supportive technique improves the test\n inputs generated by DSE. Our results show that DSE\n improves the coverage and fault detection rate of\n metamorphic testing compared to random testing using\n significantly smaller test suites, and the use of\n metamorphic relations increases code coverage of both\n DSE and random tests considerably, but the improvement\n in the fault detection rate may be marginal and depends\n on the used metamorphic relations.},\n keywords = {Symbolic execution, Testing},\n}\n\n","author_short":["Alatawi, E.","Miller, T.","Søndergaard, H."],"key":"Ala-Mil-Son_MET16","id":"Ala-Mil-Son_MET16","bibbaseid":"alatawi-miller-sndergaard-generatingsourceinputsformetamorphictestingusingdynamicsymbolicexecution-2016","role":"author","urls":{},"keyword":["Symbolic execution","Testing"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/zarajoy/testbibtex/refs/heads/main/test.bib","dataSources":["yWvm3kzg5vKQAPLm7","ofmsZryxNDBSpE7j5","9aC4cxLD8D6oJ3FLN","BNGFBQQncqevukxoe","q5pWX4XZgAS4TQBof","yb3uN577XrYa7qf57","9jmvjAEoFta6emcgS","XqcrNTrCCBr9mSd37","W7ih7WyQivP4EDh83"],"keywords":["symbolic execution","testing"],"search_terms":["generating","source","inputs","metamorphic","testing","using","dynamic","symbolic","execution","alatawi","miller","søndergaard"],"title":"Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution","year":2016}