%0 Conference Paper %1 conf/iceccs/WangQL05 %A Wang, Xin %A Qi, Zhi-Chang %A Li, Shuhao %B ICECCS %D 2005 %I IEEE Computer Society %K dblp %P 440-449 %T An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html#WangQL05 %@ 0-7695-2284-X

@inproceedings{conf/iceccs/WangQL05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wang, Xin and Qi, Zhi-Chang and Li, Shuhao}, biburl = {https://www.bibsonomy.org/bibtex/2d4c263227c01eb174f117f53a9657985/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2005.22}, interhash = {a67446b7127893f2ecada2d7fb57d332}, intrahash = {d4c263227c01eb174f117f53a9657985}, isbn = {0-7695-2284-X}, keywords = {dblp}, pages = {440-449}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:41.000+0200}, title = {An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html#WangQL05}, year = 2005 }