An advanced approach for modeling and detecting software vulnerabilities
CONTEXT: Passive testing is a technique in which traces collected from the execution of a
system under test are examined for evidence of flaws in the system. OBJECTIVE: In this …
system under test are examined for evidence of flaws in the system. OBJECTIVE: In this …
Two complementary tools for the formal testing of distributed systems with time constraints
The complexity and the variety of the deployed time dependent systems, as well as the high
degree of reliability required for their global functioning, justify the care provided to the …
degree of reliability required for their global functioning, justify the care provided to the …
An EFSM-based passive fault detection approach
H Ural, Z Xu - International Workshop on Formal Approaches to …, 2007 - Springer
Abstract Extended Finite State Machine (EFSM)-based passive fault detection involves
modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors …
modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors …
[PDF][PDF] Overview of applications of passive testing techniques
I Itkin, R Yavorskiy - Modeling and Analysis of Complex Systems and …, 2019 - ceur-ws.org
We present here the overview of recent research on passive testing methods and tools,
which covers 104 manually selected papers most relevant to this topic. The papers were …
which covers 104 manually selected papers most relevant to this topic. The papers were …
Using testing techniques for vulnerability detection in C programs
This paper presents a technique for vulnerability detection in C programs. It is based on a
vulnerability formal model called “Vulnerability Detection Conditions”(VDCs). This model is …
vulnerability formal model called “Vulnerability Detection Conditions”(VDCs). This model is …
Scan-based soc test using space/time pattern compaction schemes
C Galke, U Gatzschmann… - … Conference on Digital …, 2006 - ieeexplore.ieee.org
The ever-increasing complexity of systems on a chip (SoCs) has driven scan-based logic
test technologies to their limits. Built-in self-test is one possible solution to overcome the …
test technologies to their limits. Built-in self-test is one possible solution to overcome the …
Network Monitoring with Real-Time Properties: A Step Forward
D Vieira, ER Vieira - Software Engineering Research, Management and …, 2009 - Springer
In passive monitoring, faults are detected while the System Under Test (SUT) is observed
during its normal operation. Usually traces produced by SUT are recorded and compared …
during its normal operation. Usually traces produced by SUT are recorded and compared …
[PDF][PDF] 5. Desenvolvimento de Técnica de Teste Passivo com Base em Algoritmos de Bioinformática
GS Lemos, E Martins - Coordenadora do 4o WTD Professora-Instituto de … - ic.unicamp.br
Podem-se utilizar técnicas de testes ativos ou passivos para realizar a validaçao de um
software. No teste ativo, o testador envia uma entrada durante a execuçao do software e …
software. No teste ativo, o testador envia uma entrada durante a execuçao do software e …