Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Franjo Ivancic"'
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ec2b265249e9b90d98d457cc3fe3900
https://doi.org/10.1109/ase51524.2021.9678606
https://doi.org/10.1109/ase51524.2021.9678606
Autor:
Franjo Ivancic
Publikováno v:
ICST
At Google, tens of thousands of security and robustness bugs have been found by fuzzing C and C++ libraries. The various aspects of the SunDew project, one of the projects working on automated scalable techniques related to fuzzing at Google, are pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60867695e9a1be38d671d6af23bfb3e0
https://doi.org/10.1109/icst46399.2020.00011
https://doi.org/10.1109/icst46399.2020.00011
Autor:
Franjo Ivancic, Caroline Lemieux, Domagoj Babić, Stefan Bucur, Tim King, Wei Wang, Yaohui Chen, Laszlo Szekeres, Markus Kusano
Publikováno v:
ESEC/SIGSOFT FSE
At Google we have found tens of thousands of security and robustness bugs by fuzzing C and C++ libraries. To fuzz a library, a fuzzer requires a fuzz driver—which exercises some library code—to which it can pass inputs. Unfortunately, writing fuz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::199bb49b5c0eb1795c0467e886ad7650
https://doi.org/10.1145/3338906.3340456
https://doi.org/10.1145/3338906.3340456
Publikováno v:
ASE
Short time-to-localize and time-to-fix for production bugs is extremely important for any 24x7 service-oriented application (SOA). Debugging buggy behavior in deployed applications is hard, as it requires careful reproduction of a similar environment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8a940e7084bacad3207953a4e33679e
https://doi.org/10.1145/3238147.3238186
https://doi.org/10.1145/3238147.3238186
Autor:
Franjo Ivancic, Aarti Gupta, Gogul Balakrishnan, Rakesh Pothengil, Takashi Imoto, Mustafa Hussain, Naoto Maeda, Sriram Sankaranarayanan
Publikováno v:
Automated Software Engineering. 22:517-559
Software model checking and static analysis have matured over the last decade, enabling their use in automated software verification. However, lack of scalability makes these tools hard to apply in industry practice. Furthermore, approximations in th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e35e187f6194a02aaa3dadeaec82330c
https://doi.org/10.1007/s10515-014-0164-0
https://doi.org/10.1007/s10515-014-0164-0
Publikováno v:
ACM Transactions on Embedded Computing Systems. 12:1-30
We present a Monte-Carlo optimization technique for finding system behaviors that falsify a metric temporal logic (MTL) property. Our approach performs a random walk over the space of system inputs guided by a robustness metric defined by the MTL pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d0fd4b7e67eb5b75886ab09267826aa
https://doi.org/10.1145/2465787.2465797
https://doi.org/10.1145/2465787.2465797
Publikováno v:
POPL
Path-sensitivity is often a crucial requirement for verifying safety properties of programs. As it is infeasible to enumerate and analyze each path individually, analyses compromise by soundly merging information about executions along multiple paths
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c662bb57bdb51922729cd8df184a81c7
https://doi.org/10.1145/1707801.1706309
https://doi.org/10.1145/1707801.1706309
Publikováno v:
ACM Journal on Emerging Technologies in Computing Systems. 5:1-26
As the end of the semiconductor roadmap for CMOS approaches, architectures based on nanoscale molecular devices are attracting attention. Among several alternatives, silicon nanowires and carbon nanotubes are the two most promising nanotechnologies a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cbc358a06c7c153d36922f8699136cb3
https://doi.org/10.1145/1568485.1568488
https://doi.org/10.1145/1568485.1568488
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems. 14:1-26
We present an efficient symbolic search algorithm for software model checking. Our algorithms perform word-level reasoning by using a combination of decision procedures in Boolean and integer and real domains, and use novel symbolic search strategies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cfbe2abfa2249cd5a63021c50f6dbcb7
https://doi.org/10.1145/1455229.1455239
https://doi.org/10.1145/1455229.1455239
Publikováno v:
ISoLA (Preliminary proceedings)
This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachabilit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c8da516bd6e9471763d5d5d327c3734