Results 11 to 20 of about 9,844 (253)
Simplifying Contract-Violating Traces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deployment: once a violation is detected, the trace characterising the offending ...
Christian Colombo +2 more
doaj +1 more source
The PBase Scientific Workflow Provenance Repository
International Journal of Digital Curation, 2014 Scientific workflows and their supporting systems are becoming increasingly popular for compute-intensive and data-intensive scientific experiments.
VÃctor Cuevas-VicenttÃn +7 more
doaj +11 more sources
Towards Efficient Control-Flow Attestation with Software-Assisted Multi-level Execution Tracing [PDF]
2021 IEEE International Mediterranean Conference on Communications and Networking (MeditCom), 2021 In the face of an increasing attack landscape, it is necessary to cater for efficient mechanisms to verify software and device integrity for detecting run-time modifications in nextgeneration systems-of-systems. In this context, remote attestation is a promising defense mechanism that allows a third party, the verifier, to ensure a remote device’s ...
Dimitrios Papamartzivanos +3 more
openaire +2 more sources
Anomalies Detection in Software by Conceptual Learning From Normal Executions
IEEE Access, 2020 Could we detect anomalies during the run-time of a program by learning from the analysis of its previous traces for normally completed executions? In this paper we create a featured data set from program traces at run time, either during its regular life,
Ahmad Qadeib Alban +3 more
doaj +1 more source
Scientific Reports, 2023 F-waves are used in motor unit number estimation (MUNE) studies, which require rapid dedicated software to perform calculations. The aim of this study is to define a mathematical method for a fully automated F-wave extraction algorithm to perform F-wave ...
N. Tuğrul Artuğ
doaj +1 more source
A New Technique for Understanding Large-Scale Software Systems
Telfor Journal, 2020 Comprehending a huge execution trace is not a straightforward task due to the size of data to be processed. Detecting and removing utilities are useful to facilitate the understanding of software and decrease the complexity and size of the execution ...
T. Al-Rousan, H. Abualese
doaj +1 more source
Topology-Inspired Method Recovers Obfuscated Term Information From Induced Software Call-Stacks
Frontiers in Applied Mathematics and Statistics, 2021 Fuzzing is a systematic large-scale search for software vulnerabilities achieved by feeding a sequence of randomly mutated input files to the program of interest with the goal being to induce a crash.
Kelly Maggs, Vanessa Robins
doaj +1 more source
Simplifying the Structural Complexity of Software Systems
Cybernetics and Information Technologies, 2019 Simplification of execution traces is peculiarly important in the case of software comprehension. The objective is to make execution traces in ways that are more tractable and less difficult.
Al-Rousan Thamer, Abualese Hasan
doaj +1 more source
Towards Introducing Execution Tracing to Software Product Quality Frameworks [PDF]
Acta Polytechnica Hungarica, 2014 Execution tracing and logging significantly influence the time spent on localizing software errors; consequently, they have essential impact on maintainability. Moreover, in certain situations these tools are the best suited instruments to analyse the behaviour of distributed, multithreaded or embedded applications.
Galli, Tamas +3 more
openaire +2 more sources
Analysis of Software Countermeasures for Whitebox Encryption
IACR Transactions on Symmetric Cryptology, 2017 Whitebox cryptography aims to ensure the security of cryptographic algorithms in the whitebox model where the adversary has full access to the execution environment.
Subhadeep Banik +3 more
doaj +1 more source