Recovery oriented programming: runtime monitoring of safety and livenessBRUKMAN, Olga; DOLEV, Shlomi.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 4, pp 377-395, issn 1433-2779, 19 p.Article

Special Section on SPIN 2009PASAREANU, Corina S.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 1, issn 1433-2779, 107 p.Serial Issue

Special Section on WSE 2009ZOU, Ying; WU, Ji; WONG, Kenny et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 2, issn 1433-2779, 95 p.Conference Proceedings

Iterative delta debuggingARTHO, Cyrille.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 223-246, issn 1433-2779, 24 p.Article

A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automataBAUER, K; GENTILINI, R; SCHNEIDER, K et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 273-287, issn 1433-2779, 15 p.Article

Scenario-based testing from UML/OCL behavioral models Application to POSIX complianceCASTILLOS, Kalou Cabrera; DADEAU, Frédéric; JULLIAND, Jacques et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 5, pp 431-448, issn 1433-2779, 18 p.Article

Automating regression testing using web-based application similaritiesDOBOLYI, Kinga; SOECHTING, Elizabeth; WEIMER, Westley et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 2, pp 111-129, issn 1433-2779, 19 p.Conference Paper

Data decision diagrams for Promela systems analysisBEAUDENON, Vincent; ENCRENAZ, Emmanuelle; TAKTAK, Sami et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 337-352, issn 1433-2779, 16 p.Article

Experimental assessment of combining pattern matching strategies with VIATRA2HORVATH, Akos; BERGMANN, Gábor; RATH, István et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 3-4, pp 211-230, issn 1433-2779, 20 p.Conference Paper

Scalable shared memory LTL model checkingBARNAT, J; BRIM, L; ROCKAI, P et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 2, pp 139-153, issn 1433-2779, 15 p.Conference Paper

Software model checking is a rich research fieldVALMARI, Antti.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 1, pp 1-11, issn 1433-2779, 11 p.Article

Symbolic execution with abstractionANAND, Saswat; PASAREANU, Corina S; VISSER, Willem et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 1, pp 53-67, issn 1433-2779, 15 p.Article

IEEE/NASA ISoLA Workshop on Leveraging Applications of Formal MethodsHINCHEY, Mike; MARGARIA, Tiziana; STEFFEN, Bernhard et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, issn 1433-2779, 95 p.Serial Issue

Model checking C source code for embedded systemsSCHLICH, Bastian; KOWALEWSKI, Stefan.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, pp 187-202, issn 1433-2779, 16 p.Article

Flexibility in modeling languages and tools: a call to armsVAN WYK, Eric; ERIK HEIMDAHL, Mats Per.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, pp 203-215, issn 1433-2779, 13 p.Article

LearnLib: a framework for extrapolating behavioral modelsRAFFELT, Harald; STEFFEN, Bernhard; BERG, Therese et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, pp 393-407, issn 1433-2779, 15 p.Article

Consistent Web site updating based on bidirectional transformationNAKANO, Keisuke; ZHENJIANG HU; TAKEICHI, Masato et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, pp 453-468, issn 1433-2779, 16 p.Conference Paper

Coping with large design spaces : design problem solving in fluidic engineering : Self-optimizing mechatronic systemsSTEIN, Benno.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 3, pp 233-245, issn 1433-2779, 13 p.Article

Exploiting traces in static program analysis : better model checking through printfs : TACAS 06GROCE, Alex; JOSHI, Rajeev.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 2, pp 131-144, issn 1433-2779, 14 p.Article

Tool support for the design of self-optimizing mechatronic multi-agent systems : Self-optimizing mechatronic systemsBURMESTER, Sven; GIESE, Holger; MÜNCH, Eckehard et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 3, pp 207-222, issn 1433-2779, 16 p.Article

Discovering colored Petri nets from event logsROZINAT, A; MANS, R. S; SONG, M et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 1, pp 57-74, issn 1433-2779, 18 p.Article

An approach to quality engineering of TTCN-3 test specificationsNEUKIRCHEN, Helmut; ZEISS, Benjamin; GRABOWSKI, Jens et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 4, pp 309-326, issn 1433-2779, 18 p.Article

Healing Web applications through automatic workaroundsCARZANIGA, Antonio; GORLA, Alessandra; PEZZE, Mauro et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 6, pp 493-502, issn 1433-2779, 10 p.Conference Paper

CTL-property transformations along an incremental design processBRAUNSTEIN, Cecile; ENCRENAZ, Emmanuelle.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 1, pp 77-88, issn 1433-2779, 12 p.Article

MDA-based automatic OWL ontology developmentGASEVIC, Dragan; DJURIC, Dragan; DEVEZIC, Vladan et al.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 2, pp 103-117, issn 1433-2779, 15 p.Article