Sciweavers

3330 search results - page 41 / 666
» software 2010
Sort
View
VMCAI
2010
Springer
14 years 5 months ago
Abstract Threads
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
ICST
2010
IEEE
13 years 6 months ago
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
ICST
2010
IEEE
13 years 6 months ago
Regression Testing Ajax Applications: Coping with Dynamism
Danny Roest, Ali Mesbah, Arie van Deursen
FSTTCS
2010
Springer
13 years 5 months ago
Reasoning About Strategies
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi