Constraints in dynamic symbolic execution: bitvectors or integers? von Kapus, T, Nowack, M, Cadar, C

Volltext

Closing a System in the Dynamic Input/Output Automata Model von Kapus, Tatjana

Volltext

A segmented memory model for symbolic execution von Kapus, T, Cadar, C

Volltext bestellen

Specification of synchronous sequential circuits using SDL and ObjectGEODE von Kapus, Tatjana

Volltext

Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing von Kapus, T, Cadar, C

Volltext bestellen

Pending constraints in symbolic execution for better exploration and seeding von Kapus, T, Busse, F, Cadar, C

Volltext bestellen

TLA-style specification of a mobile network von Kapus, T., Brezocnik, Z.

Volltext

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp von Mao, K, Kapus, T, Petrou, L, Hajdu, A, Marescotti, M, Loscher, A, Harman, M, Distefano, D

Volltext bestellen

Past-sensitive pointer analysis for symbolic execution von Trabish, D, Kapus, T, Rinetzky, N, Cadar, C

Volltext bestellen

Introduction to the special session on formal verification of telecommunications systems von Kapus, T., Jezic, G.

Volltext bestellen

Toward automatic generation of promela models from SDL specification von Vlaovic, B., Vreze, A., Brezocnik, Z., Kapus, T.

Volltext bestellen

Computing summaries of string loops in C for better testing and refactoring von Kapus, T, Ish-Shalom, O, Itzhaky, S, Rinetzky, N, Cadar, C

Volltext bestellen

Automated state-based analysis of distributed systems von Kapus, T., Horvat, B.

Volltext bestellen

Verifying networks of processes that synchronize via shared variables von Kapus, T., Horvat, B.

Volltext bestellen

Verification of XTP context management closing procedure in style of TLA von Kapus, Tatjana, Brezočnik, Zmago

Volltext

Exploring properties of a bounded retransmission protocol with VIS von MEOLIC, R, KAPUS, T, BREZOCNIK, Z

Volltext

Microcomputer unit for control of distributed devices over computer networks von Vrečko, Gregor, Brezočnik, Zmago, Kapus, Tatjana, Horvat, Bogomir, Duh, Andrej

Volltext

CTL and ACTL patterns von Meolic, R., Kapus, T., Brezocnik, Z.

Volltext bestellen

A DVD presentation for the support of teaching telecommunications protocols von Kruscic, A., Slatinek, R., Kapus, T.

Volltext bestellen

Verifying networks of processes that communicate via shared variables von Kapus, Tatjana, Horvat, Bogomir

Volltext