I will use this blog in lieu of a course web page to post links to readings, schedule, etc.
We have so far:
Week 2: Anthony leading discussion of Ernst's IEEE TSE paper on dynamic invariant detection (Daikon)
Week 3: Jed (backup Dan) leading discussion of Csallner's ICSE paper on dynamic symbolic execution in dynamic invariant detection (DySy).
Be sure to fill in the Doodle poll put together by Daniel to find a better seminar meeting time.
The first is
Ernst, M. D., Cockrell, J., Griswold, W. G., and Notkin, D. 2001. Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Softw. Eng. 27, 2 (Feb. 2001), 99-123. DOI= http://dx.doi.org/10.1109/32.908957
Theoretically this is available through our library, but I'm finding it difficult to use the IEEE digital library from home through the library account. You should be able to use the DOI link while using a computer at school.
Subscribe to:
Post Comments (Atom)
Where's the doodle (Michael or Daniel)?
ReplyDelete