%0 Conference Paper %1 conf/nfm/BhattRMBVS22 %A Bhatt, Devesh %A Ren, Hao %A Murugesan, Anitha %A Biatek, Jason %A Varadarajan, Srivatsan %A Shankar, Natarajan %B NFM %D 2022 %E Deshmukh, Jyotirmoy V. %E Havelund, Klaus %E Perez, Ivan %I Springer %K dblp %P 576-596 %T Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#BhattRMBVS22 %V 13260 %@ 978-3-031-06773-0

@inproceedings{conf/nfm/BhattRMBVS22, added-at = {2023-12-31T00:00:00.000+0100}, author = {Bhatt, Devesh and Ren, Hao and Murugesan, Anitha and Biatek, Jason and Varadarajan, Srivatsan and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/22adfe0ba2169810fbeefef4ec91f184f/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2022}, editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan}, ee = {https://doi.org/10.1007/978-3-031-06773-0_31}, interhash = {ad0b0e581302e05a9af5eb53673e4b97}, intrahash = {2adfe0ba2169810fbeefef4ec91f184f}, isbn = {978-3-031-06773-0}, keywords = {dblp}, pages = {576-596}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:33.000+0200}, title = {Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#BhattRMBVS22}, volume = 13260, year = 2022 }