Skip navigation

Browse by Journal Title

Browse by Journal Title

[up] Up a level
Group by: Creators | Item Type | Uncontrolled Keywords | No Grouping
code obfuscation java code program verification quality time semantics timed automata
Number of items: 6.

code obfuscation

Ceccato, Mariano, Capiluppi, Andrea, Falcarin, Paolo and Boldyreff, Cornelia ORCID logoORCID: https://orcid.org/0000-0002-2737-7671 (2015) A large study on the effect of code obfuscation on the quality of java code. Empirical Software Engineering, 20 (6). pp. 1486-1524. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:10.1007/s10664-014-9321-0)

java code

Ceccato, Mariano, Capiluppi, Andrea, Falcarin, Paolo and Boldyreff, Cornelia ORCID logoORCID: https://orcid.org/0000-0002-2737-7671 (2015) A large study on the effect of code obfuscation on the quality of java code. Empirical Software Engineering, 20 (6). pp. 1486-1524. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:10.1007/s10664-014-9321-0)

program verification

Liva, Giovanni ORCID logoORCID: https://orcid.org/0000-0002-9337-5762, Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420 and Pinzger, Martin (2019) Semantics-driven extraction of timed automata from Java programs. Empirical Software Engineering, 24 (5). pp. 3114-3150. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:10.1007/s10664-019-09699-5)

quality

Ceccato, Mariano, Capiluppi, Andrea, Falcarin, Paolo and Boldyreff, Cornelia ORCID logoORCID: https://orcid.org/0000-0002-2737-7671 (2015) A large study on the effect of code obfuscation on the quality of java code. Empirical Software Engineering, 20 (6). pp. 1486-1524. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:10.1007/s10664-014-9321-0)

time semantics

Liva, Giovanni ORCID logoORCID: https://orcid.org/0000-0002-9337-5762, Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420 and Pinzger, Martin (2019) Semantics-driven extraction of timed automata from Java programs. Empirical Software Engineering, 24 (5). pp. 3114-3150. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:10.1007/s10664-019-09699-5)

timed automata

Liva, Giovanni ORCID logoORCID: https://orcid.org/0000-0002-9337-5762, Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420 and Pinzger, Martin (2019) Semantics-driven extraction of timed automata from Java programs. Empirical Software Engineering, 24 (5). pp. 3114-3150. ISSN 1382-3256 (Print), 1573-7616 (Online) (doi:10.1007/s10664-019-09699-5)

This list was generated on Sat Dec 21 12:48:04 2024 UTC.