%0 Conference Paper %1 bashardoust-tajali_extracting_2008 %A Bashardoust-Tajali, Soheila %A Corriveau, Jean-Pierre %B 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) %C Belfast, Northern Ireland %D 2008 %K imported %P 98--107 %R 10.1109/ICECCS.2008.17 %T On Extracting Tests from a Testable Model in the Context of Domain Engineering %U http://0-ieeexplore.ieee.org.innopac.up.ac.za/xpl/downloadCitations

@inproceedings{bashardoust-tajali_extracting_2008, added-at = {2013-02-28T11:13:35.000+0100}, address = {Belfast, Northern Ireland}, author = {{Bashardoust-Tajali}, Soheila and Corriveau, {Jean-Pierre}}, biburl = {https://www.bibsonomy.org/bibtex/2e985eef7884c9b47eb22c6e10a17431f/fritzsolms}, booktitle = {{13th {IEEE} International Conference on Engineering of Complex Computer Systems (iceccs 2008)}}, doi = {10.1109/ICECCS.2008.17}, interhash = {f7f18cf1a8e0670e551a9fdbe2ce8971}, intrahash = {e985eef7884c9b47eb22c6e10a17431f}, keywords = {imported}, lccn = {0003}, month = mar, pages = {98--107}, review = {{SUMMARY} (fritz) - stress need for testable domain models - contracts not formally specified via pre/post-conditions, but extracted from domain model - test extraction from generated contracts}, timestamp = {2013-02-28T11:13:40.000+0100}, title = {{On Extracting Tests from a Testable Model in the Context of Domain Engineering}}, url = {http://0-ieeexplore.ieee.org.innopac.up.ac.za/xpl/downloadCitations}, year = 2008 }