Author/Creator: Milewicz, Reed - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Milewicz, Reed

1. Lightweight runtime checking of C programs with RTC. (April 2016)

Authors:: Milewicz, Reed; Vanka, Rajesh; Tuck, James; Quinlan, Daniel; Pirkelbauer, Peter
Journal:: Computer languages, systems & structures
Issue:: Volume 45(2016)
Page Start:: 191
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Refinement of structural heuristics for model checking of concurrent programs through data mining. (January 2017)

Authors:: Milewicz, Reed; Pirkelbauer, Peter
Journal:: Computer languages, systems & structures
Issue:: Volume 47:Part 2(2017)
Page Start:: 170
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗