%0 Conference Paper %1 conf/oopsla/HuangZ12 %A Huang, Jeff %A Zhang, Charles %B OOPSLA %D 2012 %E Leavens, Gary T. %E Dwyer, Matthew B. %I ACM %K dblp %P 451-466 %T LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#HuangZ12 %@ 978-1-4503-1561-6

@inproceedings{conf/oopsla/HuangZ12, added-at = {2024-04-10T00:00:00.000+0200}, author = {Huang, Jeff and Zhang, Charles}, biburl = {https://www.bibsonomy.org/bibtex/2ab368bb4e1b6cecc8fd97d9cf6a8c04c/dblp}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2012}, editor = {Leavens, Gary T. and Dwyer, Matthew B.}, ee = {https://doi.org/10.1145/2398857.2384649}, interhash = {5aeeadef011d8d949322b469126ce627}, intrahash = {ab368bb4e1b6cecc8fd97d9cf6a8c04c}, isbn = {978-1-4503-1561-6}, keywords = {dblp}, pages = {451-466}, publisher = {ACM}, timestamp = {2024-04-12T14:43:27.000+0200}, title = {LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#HuangZ12}, year = 2012 }