Verified train controllers for the federal railroad administration train kinematics model: Balancing competing brake and track forces
Automated train control improves railroad operation by safeguarding the motion of trains
while increasing efficiency by enabling motion within a safe envelope. Train controllers …
while increasing efficiency by enabling motion within a safe envelope. Train controllers …
Automated support for unit test generation
Unit testing is a stage of testing where the smallest segment of code that can be tested in
isolation from the rest of the system—often a class—is tested. Unit tests are typically written …
isolation from the rest of the system—often a class—is tested. Unit tests are typically written …
The integration of machine learning into automated test generation: A systematic mapping study
Abstract Machine learning (ML) may enable effective automated test generation. We
characterize emerging research, examining testing practices, researcher goals, ML …
characterize emerging research, examining testing practices, researcher goals, ML …
Droidgamer: Android game testing with operable widget recognition by deep learning
Android game applications are an important type of application widely used by end users.
Bugs in such applications can significantly affect user experience. Due to the use of …
Bugs in such applications can significantly affect user experience. Due to the use of …
Science based AI model certification for new operational environments with application in traffic state estimation
D Mupupuni, A Guntu, L Hong, K Hasan… - arXiv preprint arXiv …, 2024 - arxiv.org
The expanding role of Artificial Intelligence (AI) in diverse engineering domains highlights
the challenges associated with deploying AI models in new operational environments …
the challenges associated with deploying AI models in new operational environments …
Science based AI model certification for untrained operational environments with application in traffic state estimation
D Mupupuni, A Guntu, L Hong, K Hasan… - arXiv preprint arXiv …, 2024 - arxiv.org
The expanding role of Artificial Intelligence (AI) in diverse engineering domains highlights
the challenges associated with deploying AI models in new operational environments …
the challenges associated with deploying AI models in new operational environments …
Automated support for unit test generation: a tutorial book chapter
Unit testing is a stage of testing where the smallest segment of code that can be tested in
isolation from the rest of the system-often a class-is tested. Unit tests are typically written as …
isolation from the rest of the system-often a class-is tested. Unit tests are typically written as …
Boosting exploratory testing of industrial automation systems with ai
R Eidenbenz, C Franke, T Sivanthi… - 2021 14th IEEE …, 2021 - ieeexplore.ieee.org
Testing of large and complex industrial control systems is challenging as the space of
possible input and environmental parameters is large. Searching the entire space for …
possible input and environmental parameters is large. Searching the entire space for …
CatchBackdoor: Backdoor Testing by Critical Trojan Neural Path Identification via Differential Fuzzing
The success of deep neural networks (DNNs) in real-world applications has benefited from
abundant pre-trained models. However, the backdoored pre-trained models can pose a …
abundant pre-trained models. However, the backdoored pre-trained models can pose a …
System level test generation using DNN translation from unit level test
F Copty, K Yorav - US Patent 10,915,436, 2021 - Google Patents
SUT, but which translates the unit-level test into a valid test of the SUT itself. For example, in
an embodiment, a computer-implemented method for testing a system, the method may …
an embodiment, a computer-implemented method for testing a system, the method may …