Sciweavers

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