Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
svarm11 [2011/02/24 10:54] vkuncak |
svarm11 [2011/02/24 10:55] vkuncak |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| * [[http://people.epfl.ch/george.candea|George Candea]]: **S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems**, Saturday, April 2nd, 2pm | * [[http://people.epfl.ch/george.candea|George Candea]]: **S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems**, Saturday, April 2nd, 2pm | ||
| * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**, Sunday, April 3rd, 9am | * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**, Sunday, April 3rd, 9am | ||
| + | |||
| + | [[program.txt|Program]] | ||
| {{:etapslogo.jpg|}} | {{:etapslogo.jpg|}} | ||