:facetid:toc:\"db/journals/sttt/sttt17.bht\"OK:facetid:toc:db/journals/sttt/sttt17.bhtBart Jacobs 0002Jan SmansFrank PiessensSolving the VerifyThis 2012 challenges with VeriFast.Int. J. Softw. Tools Technol. Transf.176659-6762015Journal Articlesclosedjournals/sttt/0002SP1510.1007/S10009-014-0310-9https://doi.org/10.1007/s10009-014-0310-9https://dblp.org/rec/journals/sttt/0002SP15URL#3484980Grzegorz AnielakGrzegorz JakackiSlawomir Lasota 0001Incremental test case generation using bounded model checking: an application to automatic rating.Int. J. Softw. Tools Technol. Transf.173339-3492015Journal Articlesopenjournals/sttt/AnielakJL1510.1007/S10009-014-0317-2https://doi.org/10.1007/s10009-014-0317-2https://dblp.org/rec/journals/sttt/AnielakJL15URL#3484981Paolo BallariniAnalysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking.Int. J. Softw. Tools Technol. Transf.174505-5262015Journal Articlesclosedjournals/sttt/Ballarini1510.1007/S10009-015-0370-5https://doi.org/10.1007/s10009-015-0370-5https://dblp.org/rec/journals/sttt/Ballarini15URL#3484982Stefan BlomMarieke HuismanWitnessing the elimination of magic wands.Int. J. Softw. Tools Technol. Transf.176757-7812015Journal Articlesopenjournals/sttt/BlomH1510.1007/S10009-015-0372-3https://doi.org/10.1007/s10009-015-0372-3https://dblp.org/rec/journals/sttt/BlomH15URL#3484983François BobotJean-Christophe FilliâtreClaude MarchéAndrei PaskevichLet's verify this with Why3.Int. J. Softw. Tools Technol. Transf.176709-7272015Journal Articlesclosedjournals/sttt/BobotFMP1510.1007/S10009-014-0314-5https://doi.org/10.1007/s10009-014-0314-5https://dblp.org/rec/journals/sttt/BobotFMP15URL#3484984Daniel BrunsWojciech MostowskiMattias UlbrichImplementation-level verification of algorithms with KeY.Int. J. Softw. Tools Technol. Transf.176729-7442015Journal Articlesclosedjournals/sttt/BrunsMU1510.1007/S10009-013-0293-Yhttps://doi.org/10.1007/s10009-013-0293-yhttps://dblp.org/rec/journals/sttt/BrunsMU15URL#3484985Jens Bürger 0001Jan JürjensSven WenzelRestoring security of evolving software models using graph transformation.Int. J. Softw. Tools Technol. Transf.173267-2892015Journal Articlesclosedjournals/sttt/BurgerJW1510.1007/S10009-014-0364-8https://doi.org/10.1007/s10009-014-0364-8https://dblp.org/rec/journals/sttt/BurgerJW15URL#3484986Souymodip ChakrabortyJoost-Pieter KatoenFalak SherMartin StrelecModelling and statistical model checking of a microgrid.Int. J. Softw. Tools Technol. Transf.174537-5542015Journal Articlesclosedjournals/sttt/ChakrabortyKSS1510.1007/S10009-014-0345-Yhttps://doi.org/10.1007/s10009-014-0345-yhttps://dblp.org/rec/journals/sttt/ChakrabortyKSS15URL#3484987Hong Yi ChenShaked FlurSupratik MukhopadhyayTermination proofs for linear simple loops.Int. J. Softw. Tools Technol. Transf.17147-572015Journal Articlesclosedjournals/sttt/ChenFM1510.1007/S10009-013-0288-8https://doi.org/10.1007/s10009-013-0288-8https://dblp.org/rec/journals/sttt/ChenFM15URL#3484988Pedro R. D'ArgenioAxel LegaySean SedwardsLouis-Marie TraonouezSmart sampling for lightweight verification of Markov decision processes.Int. J. Softw. Tools Technol. Transf.174469-4842015Journal Articlesclosedjournals/sttt/DArgenioLST1510.1007/S10009-015-0383-0https://doi.org/10.1007/s10009-015-0383-0https://dblp.org/rec/journals/sttt/DArgenioLST15URL#3484989Alexandre DavidKim Guldstrand LarsenAxel LegayMarius MikucionisSchedulability of Herschel revisited using statistical model checking.Int. J. Softw. Tools Technol. Transf.172187-1992015Journal Articlesclosedjournals/sttt/DavidLLM1510.1007/S10009-014-0331-4https://doi.org/10.1007/s10009-014-0331-4https://dblp.org/rec/journals/sttt/DavidLLM15URL#3484990Alexandre DavidKim G. LarsenAxel LegayMarius MikucionisDanny Bøgsted PoulsenUppaal SMC tutorial.Int. J. Softw. Tools Technol. Transf.174397-4152015Journal Articlesclosedjournals/sttt/DavidLLMP1510.1007/S10009-014-0361-Yhttps://doi.org/10.1007/s10009-014-0361-yhttps://dblp.org/rec/journals/sttt/DavidLLMP15URL#3484991Alexandre DavidKim G. LarsenAxel LegayMarius MikucionisDanny Bøgsted PoulsenSean SedwardsStatistical model checking for biological systems.Int. J. Softw. Tools Technol. Transf.173351-3672015Journal Articlesclosedjournals/sttt/DavidLLMPS1510.1007/S10009-014-0323-4https://doi.org/10.1007/s10009-014-0323-4https://dblp.org/rec/journals/sttt/DavidLLMPS15URL#3484992Alexandre DavidKim G. LarsenAxel LegayUlrik NymanLouis-Marie TraonouezAndrzej WasowskiReal-time specifications.Int. J. Softw. Tools Technol. Transf.17117-452015Journal Articlesclosedjournals/sttt/DavidLLNTW1510.1007/S10009-013-0286-Xhttps://doi.org/10.1007/s10009-013-0286-xhttps://dblp.org/rec/journals/sttt/DavidLLNTW15URL#3484993Holger EichelbergerKlaus SchmidMapping the design-space of textual variability modeling languages: a refined analysis.Int. J. Softw. Tools Technol. Transf.175559-5842015Journal Articlesclosedjournals/sttt/EichelbergerS1510.1007/S10009-014-0362-Xhttps://doi.org/10.1007/s10009-014-0362-xhttps://dblp.org/rec/journals/sttt/EichelbergerS15URL#3484994Christian EllenSebastian GerwinnMartin FränzleStatistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.Int. J. Softw. Tools Technol. Transf.174485-5042015Journal Articlesclosedjournals/sttt/EllenGF1510.1007/S10009-014-0329-Yhttps://doi.org/10.1007/s10009-014-0329-yhttps://dblp.org/rec/journals/sttt/EllenGF15URL#3484995Gidon ErnstJörg PfählerGerhard SchellhornDominik HanebergWolfgang ReifKIV: overview and VerifyThis competition.Int. J. Softw. Tools Technol. Transf.176677-6942015Journal Articlesclosedjournals/sttt/ErnstPSHR1510.1007/S10009-014-0308-3https://doi.org/10.1007/s10009-014-0308-3https://dblp.org/rec/journals/sttt/ErnstPSHR15URL#3484996Yliès FalconeLenore D. ZuckRuntime verification: the application perspective.Int. J. Softw. Tools Technol. Transf.172121-1232015Journal Articlesclosedjournals/sttt/FalconeZ1510.1007/S10009-014-0360-Zhttps://doi.org/10.1007/s10009-014-0360-zhttps://dblp.org/rec/journals/sttt/FalconeZ15URL#3484997Michael FeldererElizabeta FourneretA systematic classification of security regression testing approaches.Int. J. Softw. Tools Technol. Transf.173305-3192015Journal Articlesclosedjournals/sttt/FeldererF1510.1007/S10009-015-0365-2https://doi.org/10.1007/s10009-015-0365-2https://dblp.org/rec/journals/sttt/FeldererF15URL#3484998Michael FeldererBasel KattA process for mastering security evolution in the development lifecycle.Int. J. Softw. Tools Technol. Transf.173245-2502015Journal Articlesclosedjournals/sttt/FeldererK1510.1007/S10009-015-0371-4https://doi.org/10.1007/s10009-015-0371-4https://dblp.org/rec/journals/sttt/FeldererK15URL#3484999João Bosco Ferreira FilhoOlivier BaraisMathieu AcherJérôme Le NoirAxel LegayBenoit BaudryGenerating counterexamples of model-based software product lines.Int. J. Softw. Tools Technol. Transf.175585-6002015Journal Articlesclosedjournals/sttt/FilhoBANLB1510.1007/S10009-014-0341-2https://doi.org/10.1007/s10009-014-0341-2https://dblp.org/rec/journals/sttt/FilhoBANLB15URL#3485000Stefania GnesiStan JarzabekSpecial section on the 17th International Software Product Line Conference.Int. J. Softw. Tools Technol. Transf.175555-5572015Journal Articlesclosedjournals/sttt/GnesiJ1510.1007/S10009-015-0386-Xhttps://doi.org/10.1007/s10009-015-0386-xhttps://dblp.org/rec/journals/sttt/GnesiJ15URL#3485001Arne HaberKatrin HölldoblerCarsten KolassaMarkus LookKlaus Müller 0001Bernhard RumpeIna SchaeferChristoph Schulze 0002Systematic synthesis of delta modeling languages.Int. J. Softw. Tools Technol. Transf.175601-6262015Journal Articlesclosedjournals/sttt/HaberHKLMRSS1510.1007/S10009-015-0387-9https://doi.org/10.1007/s10009-015-0387-9https://dblp.org/rec/journals/sttt/HaberHKLMRSS15URL#3485002Sylvain HalléJason ValletRaphaël Tremblay-LessardOn piggyback runtime monitoring of object-oriented programs.Int. J. Softw. Tools Technol. Transf.172125-1422015Journal Articlesclosedjournals/sttt/HalleVT1510.1007/S10009-014-0326-1https://doi.org/10.1007/s10009-014-0326-1https://dblp.org/rec/journals/sttt/HalleVT15URL#3485003Arnd HartmannsMark TimmerSound statistical model checking for MDP using partial order and confluence reduction.Int. J. Softw. Tools Technol. Transf.174429-4562015Journal Articlesclosedjournals/sttt/HartmannsT1510.1007/S10009-014-0349-7https://doi.org/10.1007/s10009-014-0349-7https://dblp.org/rec/journals/sttt/HartmannsT15URL#3485004Klaus HavelundRule-based runtime verification revisited.Int. J. Softw. Tools Technol. Transf.172143-1702015Journal Articlesclosedjournals/sttt/Havelund1510.1007/S10009-014-0309-2https://doi.org/10.1007/s10009-014-0309-2https://dblp.org/rec/journals/sttt/Havelund15URL#3485005Duc HoangYannick MoyAngela WallenburgRoderick ChapmanSPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler.Int. J. Softw. Tools Technol. Transf.176695-7072015Journal Articlesclosedjournals/sttt/HoangMWC1510.1007/S10009-014-0322-5https://doi.org/10.1007/s10009-014-0322-5https://dblp.org/rec/journals/sttt/HoangMWC15URL#3485006Marieke HuismanVladimir KlebanovRosemary MonahanVerifyThis 2012 - A Program Verification Competition.Int. J. Softw. Tools Technol. Transf.176647-6572015Journal Articlesclosedjournals/sttt/HuismanKM1510.1007/S10009-015-0396-8https://doi.org/10.1007/s10009-015-0396-8https://dblp.org/rec/journals/sttt/HuismanKM15URL#3485007Richard LassaigneSylvain PeyronnetApproximate planning and verification for large Markov decision processes.Int. J. Softw. Tools Technol. Transf.174457-4672015Journal Articlesclosedjournals/sttt/LassaigneP1510.1007/S10009-014-0344-Zhttps://doi.org/10.1007/s10009-014-0344-zhttps://dblp.org/rec/journals/sttt/LassaigneP15URL#3485008Axel LegayMahesh Viswanathan 0001Statistical model checking: challenges and perspectives.Int. J. Softw. Tools Technol. Transf.174369-3762015Journal Articlesclosedjournals/sttt/Legay01510.1007/S10009-015-0384-Zhttps://doi.org/10.1007/s10009-015-0384-zhttps://dblp.org/rec/journals/sttt/Legay015URL#3485009Daniel LinckeSibylle SchuppCezar IonescuFunctional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures.Int. J. Softw. Tools Technol. Transf.17191-1052015Journal Articlesclosedjournals/sttt/LinckeSI1510.1007/S10009-014-0299-0https://doi.org/10.1007/s10009-014-0299-0https://dblp.org/rec/journals/sttt/LinckeSI15URL#3485010Agneta NilssonLaura M. CastroSamuel RivasThomas ArtsAssessing the effects of introducing a new software development process: a methodological description.Int. J. Softw. Tools Technol. Transf.1711-162015Journal Articlesclosedjournals/sttt/NilssonCRA1510.1007/S10009-013-0275-0https://doi.org/10.1007/s10009-013-0275-0https://dblp.org/rec/journals/sttt/NilssonCRA15URL#3485011Ayoub NouriSaddek BensalemMarius BozgaBenoît DelahayeCyrille JégourelAxel LegayStatistical model checking QoS properties of systems with SBIP.Int. J. Softw. Tools Technol. Transf.172171-1852015Journal Articlesclosedjournals/sttt/NouriBBDJL1510.1007/S10009-014-0313-6https://doi.org/10.1007/s10009-014-0313-6https://dblp.org/rec/journals/sttt/NouriBBDJL15URL#3485012Reza PulunganHolger HermannsA construction and minimization service for continuous probability distributions.Int. J. Softw. Tools Technol. Transf.17177-902015Journal Articlesclosedjournals/sttt/PulunganH1510.1007/S10009-013-0296-8https://doi.org/10.1007/s10009-013-0296-8https://dblp.org/rec/journals/sttt/PulunganH15URL#3485013Atle RefsdalBjørnar SolhaugKetil StølenSecurity risk analysis of system changes exemplified within the oil and gas domain.Int. J. Softw. Tools Technol. Transf.173251-2662015Journal Articlesclosedjournals/sttt/RefsdalSS1510.1007/S10009-014-0351-0https://doi.org/10.1007/s10009-014-0351-0https://dblp.org/rec/journals/sttt/RefsdalSS15URL#3485014Daniël ReijsbergenPieter-Tjerk de BoerWerner R. W. ScheinhardtBoudewijn R. HaverkortOn hypothesis testing for statistical model checking.Int. J. Softw. Tools Technol. Transf.174377-3952015Journal Articlesclosedjournals/sttt/ReijsbergenBSH1510.1007/S10009-014-0350-1https://doi.org/10.1007/s10009-014-0350-1https://dblp.org/rec/journals/sttt/ReijsbergenBSH15URL#3485015Nima RoohiMahesh Viswanathan 0001Statistical model checking for unbounded until formulas.Int. J. Softw. Tools Technol. Transf.174417-4272015Journal Articlesclosedjournals/sttt/Roohi01510.1007/S10009-015-0368-Zhttps://doi.org/10.1007/s10009-015-0368-zhttps://dblp.org/rec/journals/sttt/Roohi015URL#3485016Julia RubinKrzysztof Czarnecki 0001Marsha ChechikCloned product variants: from ad-hoc to managed software product lines.Int. J. Softw. Tools Technol. Transf.175627-6462015Journal Articlesclosedjournals/sttt/RubinCC1510.1007/S10009-014-0347-9https://doi.org/10.1007/s10009-014-0347-9https://dblp.org/rec/journals/sttt/RubinCC15URL#3485017Sébastien SalvaStassia R. ZafimiharisoaAPSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities.Int. J. Softw. Tools Technol. Transf.172201-2212015Journal Articlesclosedjournals/sttt/SalvaZ1510.1007/S10009-014-0303-8https://doi.org/10.1007/s10009-014-0303-8https://dblp.org/rec/journals/sttt/SalvaZ15URL#3485018Muhammad Shafique 0003Yvan LabicheA systematic review of state-based test tools.Int. J. Softw. Tools Technol. Transf.17159-762015Journal Articlesclosedjournals/sttt/ShafiqueL1510.1007/S10009-013-0291-0https://doi.org/10.1007/s10009-013-0291-0https://dblp.org/rec/journals/sttt/ShafiqueL15URL#3485019Julian TschannenCarlo A. FuriaMartin NordioAutoProof meets some verification challenges.Int. J. Softw. Tools Technol. Transf.176745-7552015Journal Articlesclosedjournals/sttt/TschannenFN1510.1007/S10009-014-0300-Yhttps://doi.org/10.1007/s10009-014-0300-yhttps://dblp.org/rec/journals/sttt/TschannenFN15URL#3485020Kenneth J. TurnerPaul S. LambertWorkflows for quantitative data analysis in the social sciences.Int. J. Softw. Tools Technol. Transf.173321-3382015Journal Articlesclosedjournals/sttt/TurnerL1510.1007/S10009-014-0315-4https://doi.org/10.1007/s10009-014-0315-4https://dblp.org/rec/journals/sttt/TurnerL15URL#3485021Dries VanoverbergheFrank PiessensPolicy ignorant caller-side inline reference monitoring.Int. J. Softw. Tools Technol. Transf.173291-3032015Journal Articlesclosedjournals/sttt/VanoverbergheP1510.1007/S10009-014-0348-8https://doi.org/10.1007/s10009-014-0348-8https://dblp.org/rec/journals/sttt/VanoverbergheP15URL#3485022Farn WangModel-checking fair dense-time systems with propositions and events.Int. J. Softw. Tools Technol. Transf.172223-2432015Journal Articlesclosedjournals/sttt/Wang1510.1007/S10009-014-0312-7https://doi.org/10.1007/s10009-014-0312-7https://dblp.org/rec/journals/sttt/Wang15URL#3485023Peter Y. H. WongRichard BubelFrank S. de BoerMiguel Gómez-ZamalloaStijn de GouwReiner HähnleKarl MeinkeMuddassar Azam SindhuTesting abstract behavioral specifications.Int. J. Softw. Tools Technol. Transf.171107-1192015Journal Articlesclosedjournals/sttt/WongBBGGHMS1510.1007/S10009-014-0301-Xhttps://doi.org/10.1007/s10009-014-0301-xhttps://dblp.org/rec/journals/sttt/WongBBGGHMS15URL#3485024Paolo ZulianiStatistical model checking for biological applications.Int. J. Softw. Tools Technol. Transf.174527-5362015Journal Articlesclosedjournals/sttt/Zuliani1510.1007/S10009-014-0343-0https://doi.org/10.1007/s10009-014-0343-0https://dblp.org/rec/journals/sttt/Zuliani15URL#3485025