Skip navigation

Browse by Journal Title

Browse by Journal Title

Up a level
Export as [feed] RSS
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: 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:https://doi.org/10.1007/s10664-014-9321-0)

java code

Ceccato, Mariano, Capiluppi, Andrea, Falcarin, Paolo and Boldyreff, Cornelia ORCID: 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:https://doi.org/10.1007/s10664-014-9321-0)

program verification

Liva, Giovanni ORCID: 0000-0002-9337-5762 , Khan, Muhammad Taimoor ORCID: 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:https://doi.org/10.1007/s10664-019-09699-5)

quality

Ceccato, Mariano, Capiluppi, Andrea, Falcarin, Paolo and Boldyreff, Cornelia ORCID: 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:https://doi.org/10.1007/s10664-014-9321-0)

time semantics

Liva, Giovanni ORCID: 0000-0002-9337-5762 , Khan, Muhammad Taimoor ORCID: 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:https://doi.org/10.1007/s10664-019-09699-5)

timed automata

Liva, Giovanni ORCID: 0000-0002-9337-5762 , Khan, Muhammad Taimoor ORCID: 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:https://doi.org/10.1007/s10664-019-09699-5)

This list was generated on Thu Nov 21 13:24:30 2024 UTC.