Write a Blog >>

0 results

People (2 results)
Luca Berardinelli

Luca Berardinelli

Johannes Kepler University Linz

… , U-TEST, all available on https://cordis.europa.eu/), working on MDE approaches …

Marco Pistoia

Marco Pistoia

IBM Research

… , Italy’s leading organization representing all the Italian manufacturing …

Events (13 results)

One Test to Rule Them All

Technical Papers When: Mon 10 Jul 2017 10:30 - 10:55 People: Alex Groce, Josie Holmes, Kevin Kellar

… …

Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse Oortwijn, Tom van Dijk and Jaco van de Pol)

SPIN Full Paper When: Thu 13 Jul 2017 09:30 - 10:00

… : systematically exploring all reachable system states. Although both parallel …, while increasing performance by using all available computational power. To do … operations, and several caching structures have been designed that all utilise …

Model Learning and Model Checking of SSH Implementations (Paul Fiterau-Brostean, Frits Vaandrager, Erik Poll, Joeri de Ruiter, Toon Lenaerts and Patrick Verleg)

SPIN Full Paper When: Fri 14 Jul 2017 11:00 - 11:30

… We apply model learning on three SSH implementations to infer state machine models, and then use model checking to verify that these models satisfy basic security properties and conform to the RFCs. Our analysis showed that all tested …

Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen and Sarfraz Khurshid)

SPIN Full Paper When: Fri 14 Jul 2017 16:00 - 16:30

… , and constraint solvers enumerate all tests within a bound on the input size. The key … large spaces of all possible inputs to enumerate the desired valid inputs … a backtracking search that prunes large parts of the input space to enumerate all non …

News (2 results)

Christopher Kruegel will give a keynote talk at ISSTA

Author: Nicolás Rosner

… do not provide source code for their proprietary firmware. Hence, all analysis …

Mike Whalen will give the keynote address at TECPS

Author: Nicolás Rosner

… learning: the complexity of the non-linear mathematics used defeats all known …

Attending Information (4 results)

University of California, Santa Barbara

… Village will receive an access code at the Manzanita check-in desk.

  • All … (Mesa). Use code ISSTA at the vending machine. You can buy an all-day permit …

Visas and Travel

… a visa.

All other visitors to the US require a non-immigrant visa. For more …


… a visa.

All other visitors to the US require a non-immigrant visa. For more …

Student Travel Grants

… by industry sponsors available for all students.

Applications for ISSTA travel …

Tracks (7 results)

Short Papers

… [Call for All Papers](http://conf.researchr.org/info/spin-2017/call-for-papers …

Full Papers

… for Technology Transfer_ (STTT).

  • View [Call for All Papers](http …

Workshop on Testing Embedded and Cyber-Physical Systems

… .

All papers must be formatted using [ACM Conference formatting guidelines …

General (2 results)

SPIN 2017 Homepage

… International SPIN Symposium on Model Checking of Software ## Thank you all for a successful event!

See you in Malaga, Spain, in 2018!

SPIN 2017 Best Papers

Congratulations to best paper award authors!

Best Paper …

Accepted Papers

… …