iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/db/conf/issta/issta2010.html
dblp: ISSTA 2010

ISSTA 2010: Trento, Italy

SPARQL queries 

Refine list

showing all ?? records

Technical session 1: formal verification and analysis

Technical session 2: debugging

Technical session 3: mining and taxonomies

Technical session 4: anomaly detection

Doctoral symposium

Technical session 5: test input generation and fuzzing

Technical session 6: symbolic execution

Technical session 7: empirical studies

Technical session 8: concurrency and differential testing

Formal demos