Semantics-driven extraction of timed automata from Java programs

Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin

doi:10.1007/s10664-019-09699-5

Cited by 3 publications

(1 citation statement)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Android system platform comes with some core applications, including SMS, contacts, map, calendar, browser, e-mail, and other applications. These applications are written in Java program language [13], and developers can replace them through their own applications.…”

Section: Design Of Network-assisted Instruction Systemmentioning

confidence: 99%

Design of Network-Assisted Teaching of Ideological and Political Courses for College Students Based on Android System

Sun

2022

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

In order to be able to provide learning resources for learners anytime and anywhere and improve the quality of online teaching, a network-assisted teaching system for college students’ ideological and political courses based on the Android system is designed. The characteristics of the Android system platform and its hierarchical structure are analyzed, and the overall structure of the network-assisted teaching system was designed based on it and through the construction of the system user login module, learning resources module, operation management module, unit test module, and teaching interface display module, so as to achieve the effect of network assisted ideological and political course teaching. The preferences of students were fully considered, the needs of students with different resource spaces were matched, and the genetic algorithm is used to share the information of network teaching resources to meet the needs of ideological and political teaching. According to the experimental results, the system designed in this paper has high accuracy in the recommended content of ideological and political education resources and the coverage of resource recommendation is relatively high, indicating that the application effect of the system is better.

show abstract

Section: Design Of Network-assisted Instruction Systemmentioning

confidence: 99%

Design of Network-Assisted Teaching of Ideological and Political Courses for College Students Based on Android System

Sun

2022

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

show abstract

Estimating Energy Wastage in Embedded Systems Using Model Checking of Timed Automata

Shabani,

Ghassemi,

Kargahi

2024

2024 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory) (CPSAT)

View full text Add to dashboard Cite

Automatic Repair of Timestamp Comparisons

Liva

Khan

Pinzger

et al. 2021

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Automated program repair has the potential to reduce the developers' effort to fix errors in their code. In particular, modern programming languages, such as Java, C, and C#, represent time as integer variables that suffer from integer overflow, introducing subtle errors that are hard to discover and repair. Recent researches on automated program repair rely on test cases to discover failures to correct, making them suitable only for regression errors. We propose a new strategy to automatically repair programs that suffer from timestamp overflows that are manifested in comparison expressions. It unifies the benefits of static analysis and automatic program repair avoiding to depend on testing to identify and correct defected code. Our approach performs an abstract analysis over the time domain of a program using a Time Type System to identify the problematic comparison expressions. The repairing strategy rewrites the timestamp comparisons exploiting the binary representation of machine numbers to correct the code. We have validated the applicability of our approach with 20 open source Java projects. The results show that it is able to correctly repair all 246 identified errors. Furthermore, several patches for three open source projects have been acknowledged and accepted by their developers.

show abstract

Semantics-driven extraction of timed automata from Java programs

Cited by 3 publications

References 44 publications

Design of Network-Assisted Teaching of Ideological and Political Courses for College Students Based on Android System

Design of Network-Assisted Teaching of Ideological and Political Courses for College Students Based on Android System

Estimating Energy Wastage in Embedded Systems Using Model Checking of Timed Automata

Automatic Repair of Timestamp Comparisons

Contact Info

Product

Resources

About