default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 16
Volume 16, Number 1, February 2014
- Saddek Bensalem, Klaus Havelund, Andrea Orlandini
:
Verification and validation meet planning and scheduling. 1-12 - Robert P. Goldman, Michael J. S. Pelican, David J. Musliner:
A loop acceleration technique to speed up verification of automatically generated plans. 13-29 - Jason Crampton, Michael Huth, Jim Huan-Pu Kuo:
Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking. 31-48 - Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith:
Generating effective tests for concurrent programs via AI automated planning techniques. 49-65 - Jason Snyder, Deepan Seeralan, Shereef Sayed, Jeffery Wilson, Carl B. Dietrich, Stephen H. Edwards, Jeffrey H. Reed:
Open source software-defined radio tools for education, research, and rapid prototyping. 67-80 - Jan Tobias Mühlberg, Gerald Lüttgen:
Symbolic object code analysis. 81-102 - Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet:
Constraint-based BMC: a backjumping strategy. 103-121
Volume 16, Number 2, April 2014
- Cormac Flanagan, Barbara König:
Developments in automated verification techniques. 123-125 - Ahmed Bouajjani, Michael Emmi:
Bounded phase analysis of message-passing programs. 127-146 - Fu Song, Tayssir Touili:
Pushdown model checking for malware detection. 147-173 - Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang:
A bit too precise? Verification of quantized digital filters. 175-190 - Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam:
Closed-loop verification of medical devices with model abstraction and refinement. 191-213
Volume 16, Number 3, June 2014
- Jens Grabowski, Ina Schieferdecker, Andreas Ulrich:
History, status, and recent trends of the testing and test control notation version 3 (TTCN-3) - With a brief introduction to selected articles from the TTCN-3 user conference 2011. 215-225 - Philip Makedonski, Jens Grabowski, Florian Philipp:
Quantifying the evolution of TTCN-3 as a language. 227-246 - Juergen Grossmann:
Testing hybrid systems with TTCN-3 embedded - An extension of the TTCN-3 language. 247-267 - Bernard Stepien, Liam Peyton:
Innovation and evolution in integrated web application testing with TTCN-3. 269-283 - Benjamin Zeiss, András Kovács, Nikolay V. Pakulin, Bogdan Stanca-Kaposta:
A conformance test suite for TTCN-3 tools - Black-Box functional testing of TTCN-3 syntax and semantics. 285-294 - Thomas Rings, Patrick Poglitsch, Stephan Schulz, Luca Serazio, Theofanis Vassiliou-Gioles:
A generic interoperability testing framework and a systematic development process for automated interoperability testing. 295-313 - Awny Alnusair, Tian Zhao, Gongjun Yan:
Rule-based detection of design patterns in program code. 315-334
Volume 16, Number 4, August 2014
- Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Program verification and testing technologies. 335-337 - Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David:
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. 339-361 - Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin:
Expressive program verification via structured specifications. 363-380 - João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Automated verification of the FreeRTOS scheduler in Hip/Sleek. 381-397 - Yosr Jarraya, Mourad Debbabi:
Quantitative and qualitative analysis of SysML activity diagrams. 399-419 - Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang:
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. 421-435 - Hai-Feng Guo, Mahadevan Subramaniam:
Model-based test generation using extended symbolic grammars. 437-455
Volume 16, Number 5, October 2014
- Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu:
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. 457-464 - Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-driven benchmark generation: synthesizing programs of realistic structure. 465-479 - Jaco van de Pol, Theo C. Ruys, Steven te Brinke:
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. 481-491 - Markus Schordan, Adrian Prantl:
Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges. 493-505 - Dirk Beyer, Andreas Stahlbauer:
BDD-based software verification - Applications to event-condition-action systems. 507-518 - Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Applying symbolic bounded model checking to the 2012 RERS greybox challenge. 519-529 - Oliver Bauer, Maren Geske, Malte Isberner:
Analyzing program behavior through active automata learning. 531-542 - Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria:
Tailored generation of concurrent benchmarks. 543-558 - Michael Felderer, Ina Schieferdecker:
A taxonomy of risk-based testing. 559-568 - Johannes Neubauer, Stephan Windmüller, Bernhard Steffen:
Risk-based testing via active continuous quality control. 569-591 - Gabriella Carrozza, Roberto Pietrantuono, Stefano Russo:
Dynamic test planning: a study in an industrial context. 593-607 - Michael Felderer, Rudolf Ramler:
A multiple case study on risk-based testing in industry. 609-625 - Gencer Erdogan, Yan Li, Ragnhild Kobro Runde, Fredrik Seehusen, Ketil Stølen:
Approaches for the combined use of risk analysis and testing: a systematic literature review. 627-642
Volume 16, Number 6, November 2014
- Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal methods for railway control systems. 643-646 - Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni:
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions. 647-667 - Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini:
Towards Model-Driven V&V assessment of railway control systems. 669-683 - Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne:
Techniques for modelling and verifying railway interlockings. 685-711 - Anne E. Haxthausen:
Automated generation of formal safety conditions from railway interlocking tables. 713-726 - Stefan J. Galler, Bernhard K. Aichernig:
Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. 727-751 - Stefano Quer:
Model checking evaluation of airplane landing trajectories. 753-773
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-18 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
