For the most recent entries see the
Petri Nets Newsletter
.
Keyword: symbolic execution
Lee, Nam Hee
;
Cha, Sung Deok
:
Generating test sequences using symbolic execution for event-driven real-time systems.
2003.
Ghezzi, Carlo
;
Mandrioli, Dino
;
Morasca, Sandro
;
Pezzè, Mauro
:
Symbolic Execution of Concurrent Programs Using Petri Nets.
1989.
Morasca, Sandro
;
Pezzè, Mauro
:
Validation of Concurrent Ada Programs Using Symbolic Execution.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography