Peter Bunus, Peter Fritzson. Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. In 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. pages 253-258, IEEE Computer Society, 2003. [doi]
@inproceedings{BunusF03,
title = {Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models},
author = {Peter Bunus and Peter Fritzson},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350253abs.htm},
researchr = {https://researchr.org/publication/BunusF03},
cites = {0},
citedby = {0},
pages = {253-258},
booktitle = {18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada},
publisher = {IEEE Computer Society},
isbn = {0-7695-2035-9},
}