%0 Conference Paper %1 conf/fdl/Pierre15 %A Pierre, Laurence %B FDL %D 2015 %I IEEE %K dblp %P 82-89 %T Towards a toolchain for assertion-driven test sequence generation. %U http://dblp.uni-trier.de/db/conf/fdl/fdl2015.html#Pierre15 %@ 978-1-4673-7735-5

@inproceedings{conf/fdl/Pierre15, added-at = {2017-05-24T00:00:00.000+0200}, author = {Pierre, Laurence}, biburl = {https://www.bibsonomy.org/bibtex/22fcc4bad7de49a2bf3ccedf881fc2f49/dblp}, booktitle = {FDL}, crossref = {conf/fdl/2015}, ee = {https://doi.org/10.1109/FDL.2015.7306354}, interhash = {7968acd513781e2e867355bb9df512fa}, intrahash = {2fcc4bad7de49a2bf3ccedf881fc2f49}, isbn = {978-1-4673-7735-5}, keywords = {dblp}, pages = {82-89}, publisher = {IEEE}, timestamp = {2019-10-17T22:51:42.000+0200}, title = {Towards a toolchain for assertion-driven test sequence generation.}, url = {http://dblp.uni-trier.de/db/conf/fdl/fdl2015.html#Pierre15}, year = 2015 }