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/rec/conf/icse/FelbingerS14.rdf
Hermann Felbinger and Christian Schwarzl: Suitability analysis of CSP- and SMT-solvers for test case generation. (2014) conf/icse/FelbingerS14 10.1145/2593735.2593741 Suitability analysis of CSP- and SMT-solvers for test case generation. 2 Hermann Felbinger 1 Christian Schwarzl 2 40-49 CSTVA CSTVA 2014 2014 provenance information for RDF data of dblp record 'conf/icse/FelbingerS14' 2018-11-06T11:06:54+0100