Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Hayes Converse"'
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:
ISSRE
IEEE 31st International Symposium on Software Reliability Engineering (ISSRE 2020)
IEEE 31st International Symposium on Software Reliability Engineering (ISSRE 2020)
Neural networks are powerful tools for automated decision-making, with applications ranging from image recogni-tion to hiring decisions and safety-critical autonomous driving. However, due to their black-box nature and large scale, reasoning about th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f2f4f80d0d9cb860dc0cd588cb959105
https://doi.org/10.1109/issre5003.2020.00023
https://doi.org/10.1109/issre5003.2020.00023
Publikováno v:
SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
SEAMS@ICSE
SEAMS@ICSE
Neural networks are powerful tools for automated decision-making, seeing increased application in safety-critical domains, such as autonomous driving. Due to their black-box nature and large scale, reasoning about their behavior is challenging. Stati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f434e3b669d7c13a8f8dd03b823623d
http://hdl.handle.net/10044/1/83606
http://hdl.handle.net/10044/1/83606
Publikováno v:
ASE
We present techniques for automatically inferring formal properties of feed-forward neural networks. We observe that a significant part (if not all) of the logic of feed forward networks is captured in the activation status ('on' or 'off') of its neu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dab82453815d0820824ab1b0ee37fde0
Publikováno v:
ICST
Symbolic execution is a well-studied method that has a number of useful applications, including generation of high-quality test suites that find many bugs. However, scaling it to real-world applications is a significant challenge, as it depends on th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb1a9a7965368abab760d4d7f105a95d
https://doi.org/10.1109/icst.2017.29
https://doi.org/10.1109/icst.2017.29
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 43:55-55
Software model checkers, such as JPF, are routinely used to explore executions of programs that have very large state spaces. Sometimes the exploration can take a significant amount of time before a bug is found or the checking is complete, in which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::642597c05325c69406ded2aaf967327f
https://doi.org/10.1145/3282517.3282525
https://doi.org/10.1145/3282517.3282525
Publikováno v:
ISSRE
Software testing is one of the most widely used approaches for improving software reliability. The effectiveness of testing depends to a large extent on the quality of test suites. Researchers have developed various techniques to evaluate the quality
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7e59bae20908946b791860a9a361c76
https://doi.org/10.1109/issre.2016.51
https://doi.org/10.1109/issre.2016.51
Autor:
Teressa Ferraro, Laura Jones, Vikas Mendhiratta, Hayes Converse, Mang Par, Jason Sprenkle, Pamela Abshire, Emily Naviasky, Thomas Rimlinger, Daniel Jean, Steven Southall
Publikováno v:
2013 IEEE SENSORS.
While electromyography (EMG) is widely used in experimental physiotherapy (PT), its use as a diagnostic aid and supplementary tool in clinical PT remains limited. We report an integrated, wireless PT system for the forearm, which registers muscle mov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d1b881f606745b6395e8b9bc788b370
https://doi.org/10.1109/icsens.2013.6688474
https://doi.org/10.1109/icsens.2013.6688474