12 citations · 17 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2012★ 1 cited
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems
Josep Silva, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012).…
cs.SE2011★ 4 cited
Optimal Divide and Query (extended version)
David Insa, Josep Silva
Algorithmic debugging is a semi-automatic debugging technique that allows the programmer to precisely identify the location of bugs without the need to inspect the source code. The…