Mohammad Amin Alipour and Alex Groce: Extended program invariants: applications in testing and fault localization. (2012)conf/issta/AlipourG1210.1145/2338966.2336799Extended program invariants: applications in testing and fault localization.2Mohammad Amin Alipour1Alex Groce27-11WODAWODA20122012provenance information for RDF data of dblp record 'conf/issta/AlipourG12'2018-11-06T16:57:30+0100