Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Emmanuel Geay"'
Publikováno v:
ISSTA
The paper ``Effective Typestate Verification in the Presence of Aliasing'' was published in the International Symposium on Software Testing and Analysis (ISSTA) 2006 Proceedings, and has now been selected to receive the ISSTA 2019 Retrospective Impac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d84e049a37db4f44a9db0022719c653d
https://doi.org/10.1145/3293882.3338992
https://doi.org/10.1145/3293882.3338992
Publikováno v:
ISSTA
This article addresses the challenge of sound typestate verification, with acceptable precision, for real-world Java programs. We present a novel framework for verification of typestate properties, including several new techniques to precisely treat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fcb135a13377812d79f0fa5e0c684d77
https://doi.org/10.1145/1348250.1348255
https://doi.org/10.1145/1348250.1348255
Publikováno v:
ICSE
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. What permissions should be granted to each component? Too few permission
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32f5ab68ef63b181ea8cc2e203ab8289
https://doi.org/10.1109/icse.2009.5070519
https://doi.org/10.1109/icse.2009.5070519
Publikováno v:
PEPM
This paper presents the design of SAFE (Scalable and Flexible Error Detection), a static analysis tool targeting lightweight program verification and bug finding for Java. The tool utilizes two types of analysis: a simple "structural" checker based o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a86e79d87897bf5bb643ba655fd6196
https://doi.org/10.1145/1111542.1111567
https://doi.org/10.1145/1111542.1111567