iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/icse/NguyenKWF14.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/icse/NguyenKWF14 AU - Nguyen, ThanhVu AU - Kapur, Deepak AU - Weimer, Westley AU - Forrest, Stephanie TI - Using dynamic analysis to generate disjunctive invariants. BT - 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014 SP - 608 EP - 619 PY - 2014// DO - 10.1145/2568225.2568275 UR - https://doi.org/10.1145/2568225.2568275 ER -