| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A hybrid approach to extract conceptual diagram from software requirements
|
Shweta,
|
|
|
239 |
C |
p.
|
artikel
|
| 2 |
Automatic detection of infeasible paths in large-scale program based on program summaries
|
Dong, Yukun
|
|
|
239 |
C |
p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
|
239 |
C |
p.
|
artikel
|
| 4 |
Encoding TLA+ proof obligations safely for SMT
|
Defourné, Rosalie
|
|
|
239 |
C |
p.
|
artikel
|
| 5 |
Formal verification of timely knowledge propagation in airborne networks
|
Paul, Saswata
|
|
|
239 |
C |
p.
|
artikel
|
| 6 |
Hybrid dynamical systems logic and its refinements
|
Platzer, André
|
|
|
239 |
C |
p.
|
artikel
|
| 7 |
MacroSwarm: A scala framework for swarm programming
|
Aguzzi, Gianluca
|
|
|
239 |
C |
p.
|
artikel
|
| 8 |
MDAPW3: MDA-based development of blockchain-enabled decentralized applications
|
Samanipour, Ali
|
|
|
239 |
C |
p.
|
artikel
|
| 9 |
Microservices simulator: An object-oriented framework for transactional causal consistency
|
Pereira, Pedro
|
|
|
239 |
C |
p.
|
artikel
|
| 10 |
Model independent refusal trace testing
|
Gazda, Maciej
|
|
|
239 |
C |
p.
|
artikel
|
| 11 |
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools
|
Gambi, Alessio
|
|
|
239 |
C |
p.
|
artikel
|
| 12 |
Subsumption, correctness and relative correctness: Implications for software testing
|
AlBlwi, Samia
|
|
|
239 |
C |
p.
|
artikel
|
Tijdschrift beschrijving