Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Alyas Almaawi"'
Autor:
Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 45:20-22
Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been suc- cessfully used to implement techniques such as symbolic and co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb6f34a542708d7be6ee77ad40a548a1
https://doi.org/10.1145/3385678.3385685
https://doi.org/10.1145/3385678.3385685
Publikováno v:
ICSE (NIER)
We introduce a new idea for enhancing constraint solving engines that drive many analysis and synthesis techniques that are powerful but have high complexity. Our insight is that in many cases the engines are run repeatedly against input constraints
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03167911398c9c350c0cffdd77273876
https://doi.org/10.1145/3377816.3381740
https://doi.org/10.1145/3377816.3381740
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030451899
TACAS (1)
TACAS (1)
Propositional model counting is a classic problem that has recently witnessed many technical advances and novel applications. While the basic model counting problem requires computing the number of all solutions to the given formula, in some importan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89d2c0e660c3cd2369182aeb9a89fb77
https://doi.org/10.1007/978-3-030-45190-5_7
https://doi.org/10.1007/978-3-030-45190-5_7
