Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sttt/sttt16.bht:"
download as .bib file
@article{DBLP:journals/sttt/AlnusairZY14,
author = {Awny Alnusair and
Tian Zhao and
Gongjun Yan},
title = {Rule-based detection of design patterns in program code},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {315--334},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0292-z},
doi = {10.1007/S10009-013-0292-Z},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlnusairZY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BauerGI14,
author = {Oliver Bauer and
Maren Geske and
Malte Isberner},
title = {Analyzing program behavior through active automata learning},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {531--542},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0333-2},
doi = {10.1007/S10009-014-0333-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BauerGI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BensalemHO14,
author = {Saddek Bensalem and
Klaus Havelund and
Andrea Orlandini},
title = {Verification and validation meet planning and scheduling},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {1--12},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0294-x},
doi = {10.1007/S10009-013-0294-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BensalemHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BeyerS14,
author = {Dirk Beyer and
Andreas Stahlbauer},
title = {BDD-based software verification - Applications to event-condition-action
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {507--518},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0334-1},
doi = {10.1007/S10009-014-0334-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BeyerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BouajjaniE14,
author = {Ahmed Bouajjani and
Michael Emmi},
title = {Bounded phase analysis of message-passing programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {127--146},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0276-z},
doi = {10.1007/S10009-013-0276-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BouajjaniE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CarrozzaPR14,
author = {Gabriella Carrozza and
Roberto Pietrantuono and
Stefano Russo},
title = {Dynamic test planning: a study in an industrial context},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {593--607},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0319-0},
doi = {10.1007/S10009-014-0319-0},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/CarrozzaPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CollavizzaVPRR14,
author = {H{\'{e}}l{\`{e}}ne Collavizza and
Nguyen Le Vinh and
Olivier Ponsini and
Michel Rueher and
Antoine Rollet},
title = {Constraint-based {BMC:} a backjumping strategy},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {103--121},
year = {2014},
url = {https://doi.org/10.1007/s10009-012-0258-6},
doi = {10.1007/S10009-012-0258-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CollavizzaVPRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CoxSC14,
author = {Arlen Cox and
Sriram Sankaranarayanan and
Bor{-}Yuh Evan Chang},
title = {A bit too precise? Verification of quantized digital filters},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {175--190},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0279-9},
doi = {10.1007/S10009-013-0279-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CoxSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CramptonHK14,
author = {Jason Crampton and
Michael Huth and
Jim Huan{-}Pu Kuo},
title = {Authorized workflow schemas: deciding realizability through {\textdollar}{\textdollar}{\textbackslash}mathsf\{LTL
\}({\textbackslash}mathsf\{F \}){\textdollar}{\textdollar} model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {31--48},
year = {2014},
url = {https://doi.org/10.1007/s10009-012-0269-3},
doi = {10.1007/S10009-012-0269-3},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CramptonHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ErdoganLRSS14,
author = {Gencer Erdogan and
Yan Li and
Ragnhild Kobro Runde and
Fredrik Seehusen and
Ketil St{\o}len},
title = {Approaches for the combined use of risk analysis and testing: a systematic
literature review},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {627--642},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0330-5},
doi = {10.1007/S10009-014-0330-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ErdoganLRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FangSZGLD14,
author = {Huixing Fang and
Jianqi Shi and
Huibiao Zhu and
Jian Guo and
Kim Guldstrand Larsen and
Alexandre David},
title = {Formal verification and simulation for platform screen doors and collision
avoidance in subway control systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {339--361},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0318-1},
doi = {10.1007/S10009-014-0318-1},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/FangSZGLD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FantechiFG14,
author = {Alessandro Fantechi and
Francesco Flammini and
Stefania Gnesi},
title = {Formal methods for railway control systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {643--646},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0342-1},
doi = {10.1007/S10009-014-0342-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FantechiFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FeldererR14,
author = {Michael Felderer and
Rudolf Ramler},
title = {A multiple case study on risk-based testing in industry},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {609--625},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0328-z},
doi = {10.1007/S10009-014-0328-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FeldererR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FeldererS14,
author = {Michael Felderer and
Ina Schieferdecker},
title = {A taxonomy of risk-based testing},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {559--568},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0332-3},
doi = {10.1007/S10009-014-0332-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FeldererS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FerrariSMM14,
author = {Alessio Ferrari and
Giorgio Oronzo Spagnolo and
Giacomo Martelli and
Simone Menabeni},
title = {From commercial documents to system requirements: an approach for
the engineering of novel {CBTC} solutions},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {647--667},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0298-6},
doi = {10.1007/S10009-013-0298-6},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FerrariSMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FerreiraGHQC14,
author = {Jo{\~{a}}o F. Ferreira and
Cristian Gherghina and
Guanhua He and
Shengchao Qin and
Wei{-}Ngan Chin},
title = {Automated verification of the FreeRTOS scheduler in Hip/Sleek},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {381--397},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0307-4},
doi = {10.1007/S10009-014-0307-4},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FerreiraGHQC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FlanaganK14,
author = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Developments in automated verification techniques},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {123--125},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0297-7},
doi = {10.1007/S10009-013-0297-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FlanaganK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GallerA14,
author = {Stefan J. Galler and
Bernhard K. Aichernig},
title = {Survey on test data generation tools - An evaluation of white- and
gray-box testing tools for C{\#}, C++, Eiffel, and Java},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {727--751},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0272-3},
doi = {10.1007/S10009-013-0272-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GallerA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GherghinaDQC14,
author = {Cristian Gherghina and
Cristina David and
Shengchao Qin and
Wei{-}Ngan Chin},
title = {Expressive program verification via structured specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {363--380},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0306-5},
doi = {10.1007/S10009-014-0306-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GherghinaDQC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GoldmanPM14,
author = {Robert P. Goldman and
Michael J. S. Pelican and
David J. Musliner},
title = {A loop acceleration technique to speed up verification of automatically
generated plans},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {13--29},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0284-z},
doi = {10.1007/S10009-013-0284-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GoldmanPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrabowskiSU14,
author = {Jens Grabowski and
Ina Schieferdecker and
Andreas Ulrich},
title = {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},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {215--225},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0302-9},
doi = {10.1007/S10009-014-0302-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GrabowskiSU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Grossmann14,
author = {Juergen Grossmann},
title = {Testing hybrid systems with {TTCN-3} embedded - An extension of the
{TTCN-3} language},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {247--267},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0283-0},
doi = {10.1007/S10009-013-0283-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Grossmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GuoS14,
author = {Hai{-}Feng Guo and
Mahadevan Subramaniam},
title = {Model-based test generation using extended symbolic grammars},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {437--455},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0316-3},
doi = {10.1007/S10009-014-0316-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GuoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Haxthausen14,
author = {Anne E. Haxthausen},
title = {Automated generation of formal safety conditions from railway interlocking
tables},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {713--726},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0295-9},
doi = {10.1007/S10009-013-0295-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Haxthausen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HowarIMSBP14,
author = {Falk Howar and
Malte Isberner and
Maik Merten and
Bernhard Steffen and
Dirk Beyer and
Corina S. Pasareanu},
title = {Rigorous examination of reactive systems - The {RERS} challenges 2012
and 2013},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {457--464},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0337-y},
doi = {10.1007/S10009-014-0337-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HowarIMSBP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JamesMNRST14,
author = {Phillip James and
Faron Moller and
Nguyen Hoang Nga and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne},
title = {Techniques for modelling and verifying railway interlockings},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {685--711},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0304-7},
doi = {10.1007/S10009-014-0304-7},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JamesMNRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JarrayaD14,
author = {Yosr Jarraya and
Mourad Debbabi},
title = {Quantitative and qualitative analysis of SysML activity diagrams},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {399--419},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0305-6},
doi = {10.1007/S10009-014-0305-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JarrayaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JiangPAM14,
author = {Zhihao Jiang and
Miroslav Pajic and
Rajeev Alur and
Rahul Mangharam},
title = {Closed-loop verification of medical devices with model abstraction
and refinement},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {191--213},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0289-7},
doi = {10.1007/S10009-013-0289-7},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JiangPAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MakedonskiGP14,
author = {Philip Makedonski and
Jens Grabowski and
Florian Philipp},
title = {Quantifying the evolution of {TTCN-3} as a language},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {227--246},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0282-1},
doi = {10.1007/S10009-013-0282-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MakedonskiGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaQY14,
author = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Program verification and testing technologies},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {335--337},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0327-0},
doi = {10.1007/S10009-014-0327-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaQY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MarroneFMNV14,
author = {Stefano Marrone and
Francesco Flammini and
Nicola Mazzocca and
Roberto Nardone and
Valeria Vittorini},
title = {Towards Model-Driven V{\&}V assessment of railway control systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {669--683},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0320-7},
doi = {10.1007/S10009-014-0320-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MarroneFMNV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MorseCN014,
author = {Jeremy Morse and
Lucas C. Cordeiro and
Denis A. Nicole and
Bernd Fischer},
title = {Applying symbolic bounded model checking to the 2012 {RERS} greybox
challenge},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {519--529},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0335-0},
doi = {10.1007/S10009-014-0335-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MorseCN014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MuhlbergL14,
author = {Jan Tobias M{\"{u}}hlberg and
Gerald L{\"{u}}ttgen},
title = {Symbolic object code analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {81--102},
year = {2014},
url = {https://doi.org/10.1007/s10009-012-0256-8},
doi = {10.1007/S10009-012-0256-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/MuhlbergL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NeubauerWS14,
author = {Johannes Neubauer and
Stephan Windm{\"{u}}ller and
Bernhard Steffen},
title = {Risk-based testing via active continuous quality control},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {569--591},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0321-6},
doi = {10.1007/S10009-014-0321-6},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NeubauerWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PolRB14,
author = {Jaco van de Pol and
Theo C. Ruys and
Steven te Brinke},
title = {Thoughtful brute-force attack of the {RERS} 2012 and 2013 Challenges},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {481--491},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0324-3},
doi = {10.1007/S10009-014-0324-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PolRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Quer14,
author = {Stefano Quer},
title = {Model checking evaluation of airplane landing trajectories},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {753--773},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0273-2},
doi = {10.1007/S10009-013-0273-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Quer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RazaviFM14,
author = {Niloofar Razavi and
Azadeh Farzan and
Sheila A. McIlraith},
title = {Generating effective tests for concurrent programs via {AI} automated
planning techniques},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {49--65},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0277-y},
doi = {10.1007/S10009-013-0277-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RazaviFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RingsPSSV14,
author = {Thomas Rings and
Patrick Poglitsch and
Stephan Schulz and
Luca Serazio and
Theofanis Vassiliou{-}Gioles},
title = {A generic interoperability testing framework and a systematic development
process for automated interoperability testing},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {295--313},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0281-2},
doi = {10.1007/S10009-013-0281-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RingsPSSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchordanP14,
author = {Markus Schordan and
Adrian Prantl},
title = {Combining static analysis and state transition graphs for verification
of event-condition-action systems in the {RERS} 2012 and 2013 challenges},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {493--505},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0338-x},
doi = {10.1007/S10009-014-0338-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchordanP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SnyderSSWDER14,
author = {Jason Snyder and
Deepan Seeralan and
Shereef Sayed and
Jeffery Wilson and
Carl B. Dietrich and
Stephen H. Edwards and
Jeffrey H. Reed},
title = {Open source software-defined radio tools for education, research,
and rapid prototyping},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {67--80},
year = {2014},
url = {https://doi.org/10.1007/s10009-012-0241-2},
doi = {10.1007/S10009-012-0241-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SnyderSSWDER14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SongT14,
author = {Fu Song and
Tayssir Touili},
title = {Pushdown model checking for malware detection},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {147--173},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0290-1},
doi = {10.1007/S10009-013-0290-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SongT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenHINM14,
author = {Bernhard Steffen and
Falk Howar and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria},
title = {Tailored generation of concurrent benchmarks},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {543--558},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0339-9},
doi = {10.1007/S10009-014-0339-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SteffenHINM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenINMG14,
author = {Bernhard Steffen and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria and
Maren Geske},
title = {Property-driven benchmark generation: synthesizing programs of realistic
structure},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {465--479},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0336-z},
doi = {10.1007/S10009-014-0336-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SteffenINMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/StepienP14,
author = {Bernard Stepien and
Liam Peyton},
title = {Innovation and evolution in integrated web application testing with
{TTCN-3}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {269--283},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0278-x},
doi = {10.1007/S10009-013-0278-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/StepienP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YukselNNZH14,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson and
Huibiao Zhu and
Heqing Huang},
title = {Quantitative modelling and analysis of a Chinese smart grid: a stochastic
model checking case study},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {421--435},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0311-8},
doi = {10.1007/S10009-014-0311-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/YukselNNZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ZeissKPS14,
author = {Benjamin Zeiss and
Andr{\'{a}}s Kov{\'{a}}cs and
Nikolay V. Pakulin and
Bogdan Stanca{-}Kaposta},
title = {A conformance test suite for {TTCN-3} tools - Black-Box functional
testing of {TTCN-3} syntax and semantics},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {285--294},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0285-y},
doi = {10.1007/S10009-013-0285-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ZeissKPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-24 23:17 CEST from data curated 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:
