![BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment | Automated Technology for Verification and Analysis BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment | Automated Technology for Verification and Analysis](https://dl.acm.org/cms/asset/a9d90b16-3939-487d-9260-20fe14c547bf/978-3-030-31784-3.cover.jpg)
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment | Automated Technology for Verification and Analysis
![51Z-msXRVpL._CLa|579,500|41zEmbtTXmL.jpg,41qzXx6UzsL.jpg|0,0,263,500+316,0,263,500+131,0,316,500__._SX400_SY326_.jpg 51Z-msXRVpL._CLa|579,500|41zEmbtTXmL.jpg,41qzXx6UzsL.jpg|0,0,263,500+316,0,263,500+131,0,316,500__._SX400_SY326_.jpg](https://m.media-amazon.com/images/W/IMAGERENDERING_521856-T1/images/I/51Z-msXRVpL._CLa%7C579%2C500%7C41zEmbtTXmL.jpg%2C41qzXx6UzsL.jpg%7C0%2C0%2C263%2C500%2B316%2C0%2C263%2C500%2B131%2C0%2C316%2C500__._SX400_SY326_.jpg)
51Z-msXRVpL._CLa|579,500|41zEmbtTXmL.jpg,41qzXx6UzsL.jpg|0,0,263,500+316,0,263,500+131,0,316,500__._SX400_SY326_.jpg
![41ez0WWRkML._CLa|610,500|51XoDBERKxL.jpg,41IAOj67i7L.jpg|0,0,277,500+333,0,277,500+138,0,333,500_._SY200_.jpg 41ez0WWRkML._CLa|610,500|51XoDBERKxL.jpg,41IAOj67i7L.jpg|0,0,277,500+333,0,277,500+138,0,333,500_._SY200_.jpg](https://m.media-amazon.com/images/I/41ez0WWRkML._CLa%7C610,500%7C51XoDBERKxL.jpg,41IAOj67i7L.jpg%7C0,0,277,500+333,0,277,500+138,0,333,500_._SY200_.jpg)
41ez0WWRkML._CLa|610,500|51XoDBERKxL.jpg,41IAOj67i7L.jpg|0,0,277,500+333,0,277,500+138,0,333,500_._SY200_.jpg
![BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment | SpringerLink BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment | SpringerLink](https://media.springernature.com/lw685/springer-static/image/chp%3A10.1007%2F978-3-030-31784-3_13/MediaObjects/482844_1_En_13_Fig3_HTML.png)