%0 Conference Paper %1 conf/issre/PillW16 %A Pill, Ingo %A Wotawa, Franz %B ISSRE Workshops %D 2016 %I IEEE Computer Society %K dblp %P 197-204 %T An Automated (F) LTL Test Oracle for Testing with Requirements. %U http://dblp.uni-trier.de/db/conf/issre/issre2016w.html#PillW16 %@ 978-1-5090-3601-1

@inproceedings{conf/issre/PillW16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Pill, Ingo and Wotawa, Franz}, biburl = {https://www.bibsonomy.org/bibtex/2f2f10d75530d121c475ab217c06f41e6/dblp}, booktitle = {ISSRE Workshops}, crossref = {conf/issre/2016w}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISSREW.2016.14}, interhash = {a5b29274fe91894d11943a17d1aff2a5}, intrahash = {f2f10d75530d121c475ab217c06f41e6}, isbn = {978-1-5090-3601-1}, keywords = {dblp}, pages = {197-204}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:57:57.000+0200}, title = {An Automated (F) LTL Test Oracle for Testing with Requirements.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2016w.html#PillW16}, year = 2016 }