Nymoen, Ragnar Dynamic econometrics for empirical macroeconomic modelling. (English) Zbl 07088696 Hackensack, NJ: World Scientific (ISBN 978-981-12-0751-8/hbk; 978-981-12-0753-2/ebook). xviii, 567 p. (2020). Reviewer: Ludwig Paditz (Dresden) MSC: 62-01 62M10 62P20 91-01 91B62 91B64 39A06 39A50 PDF BibTeX XML Cite \textit{R. Nymoen}, Dynamic econometrics for empirical macroeconomic modelling. Hackensack, NJ: World Scientific (2020; Zbl 07088696) Full Text: DOI
Aichernig, Bernhard K. A testing perspective on algebraic, denotational, and operational semantics. (English) Zbl 07168632 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 22-38 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{B. K. Aichernig}, Lect. Notes Comput. Sci. 11885, 22--38 (2019; Zbl 07168632) Full Text: DOI
Castellanos, John Henry; Zhou, Jianying A modular hybrid learning approach for black-box security testing of CPS. (English) Zbl 07160790 Deng, Robert H. (ed.) et al., Applied cryptography and network security. 17th international conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21567-5/pbk; 978-3-030-21568-2/ebook). Lecture Notes in Computer Science 11464, 196-216 (2019). MSC: 68P25 94A60 PDF BibTeX XML Cite \textit{J. H. Castellanos} and \textit{J. Zhou}, Lect. Notes Comput. Sci. 11464, 196--216 (2019; Zbl 07160790) Full Text: DOI
Krichen, Moez Testing real-time systems using determinization techniques for automata over timed domains. (English) Zbl 07142673 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 124-133 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Krichen}, Lect. Notes Comput. Sci. 11884, 124--133 (2019; Zbl 07142673) Full Text: DOI
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker Automated test case generation for the paxos single-decree protocol using a coloured Petri net model. (English) Zbl 1423.68319 J. Log. Algebr. Methods Program. 104, 254-273 (2019). MSC: 68Q85 68M12 68M14 68N30 PDF BibTeX XML Cite \textit{R. Wang} et al., J. Log. Algebr. Methods Program. 104, 254--273 (2019; Zbl 1423.68319) Full Text: DOI
Mostowski, Wojciech Model-based fault injection for testing gray-box systems. (English) Zbl 1417.68025 J. Log. Algebr. Methods Program. 103, 31-45 (2019). MSC: 68M15 PDF BibTeX XML Cite \textit{W. Mostowski}, J. Log. Algebr. Methods Program. 103, 31--45 (2019; Zbl 1417.68025) Full Text: DOI
Julliand, J.; Kouchnarenko, O.; Masson, P. A.; Voiron, G. Test generation from event system abstractions to cover their states and transitions. (English. Russian original) Zbl 07287057 Program. Comput. Softw. 44, No. 1, 1-14 (2018); translation from Programmirovanie 44, No. 1, 3-20 (2018). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Julliand} et al., Program. Comput. Softw. 44, No. 1, 1--14 (2018; Zbl 07287057); translation from Programmirovanie 44, No. 1, 3--20 (2018) Full Text: DOI
Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation. (English) Zbl 1400.68133 J. Log. Algebr. Methods Program. 100, 152-184 (2018). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{C. Gregorio-Rodríguez} et al., J. Log. Algebr. Methods Program. 100, 152--184 (2018; Zbl 1400.68133) Full Text: DOI
Merayo, Mercedes G.; Hierons, Robert M.; Núñez, M. Passive testing with asynchronous communications and timestamps. (English) Zbl 1451.68051 Distrib. Comput. 31, No. 5, 327-342 (2018). MSC: 68M14 68M15 PDF BibTeX XML Cite \textit{M. G. Merayo} et al., Distrib. Comput. 31, No. 5, 327--342 (2018; Zbl 1451.68051) Full Text: DOI
Gerhold, Marcus; Stoelinga, Mariëlle Model-based testing of probabilistic systems. (English) Zbl 1380.68303 Formal Asp. Comput. 30, No. 1, 77-106 (2018). MSC: 68Q87 68M15 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. Gerhold} and \textit{M. Stoelinga}, Formal Asp. Comput. 30, No. 1, 77--106 (2018; Zbl 1380.68303) Full Text: DOI
Lorber, Florian; Rosenmann, Amnon; Ničković, Dejan; Aichernig, Bernhard K. Bounded determinization of timed automata with silent transitions. (English) Zbl 1425.68216 Real-Time Syst. 53, No. 3, 291-326 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. Lorber} et al., Real-Time Syst. 53, No. 3, 291--326 (2017; Zbl 1425.68216) Full Text: DOI
Huang, Wen-ling; Peleska, Jan Complete model-based equivalence class testing for nondeterministic systems. (English) Zbl 1358.68043 Formal Asp. Comput. 29, No. 2, 335-364 (2017). MSC: 68M15 PDF BibTeX XML Cite \textit{W.-l. Huang} and \textit{J. Peleska}, Formal Asp. Comput. 29, No. 2, 335--364 (2017; Zbl 1358.68043) Full Text: DOI
Beohar, Harsh; Mousavi, Mohammad Reza Input-output conformance testing for software product lines. (English) Zbl 1392.68144 J. Log. Algebr. Methods Program. 85, No. 6, 1131-1153 (2016). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Beohar} and \textit{M. R. Mousavi}, J. Log. Algebr. Methods Program. 85, No. 6, 1131--1153 (2016; Zbl 1392.68144) Full Text: DOI
Petrenko, Alexandre; Nguena Timo, Omer; Ramesh, S. Multiple mutation testing from FSM. (English) Zbl 1347.68236 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 222-238 (2016). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{A. Petrenko} et al., Lect. Notes Comput. Sci. 9688, 222--238 (2016; Zbl 1347.68236) Full Text: DOI
Ipate, Florentin; Dranidis, Dimitris A unified integration and component testing approach from deterministic stream X-machine specifications. (English) Zbl 1335.68021 Formal Asp. Comput. 28, No. 1, 1-20 (2016). MSC: 68M15 68Q45 68Q60 PDF BibTeX XML Cite \textit{F. Ipate} and \textit{D. Dranidis}, Formal Asp. Comput. 28, No. 1, 1--20 (2016; Zbl 1335.68021) Full Text: DOI
Khakpour, Narges; Mousavi, Mohammad Reza Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper). (English) Zbl 1374.68071 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 18-40 (2015). MSC: 68M14 68M15 68Q55 PDF BibTeX XML Cite \textit{N. Khakpour} and \textit{M. R. Mousavi}, LIPIcs -- Leibniz Int. Proc. Inform. 42, 18--40 (2015; Zbl 1374.68071) Full Text: DOI
Politis, Dimitris N. Model-free prediction and regression. A transformation-based approach to inference. (English) Zbl 1397.62008 Frontiers in Probability and the Statistical Sciences. Cham: Springer (ISBN 978-3-319-21346-0/hbk; 978-3-319-21347-7/ebook). xvii, 246 p. (2015). Reviewer: Pavel Stoynov (Sofia) MSC: 62-02 62G08 62J02 62J05 62M02 62M10 62M20 62P20 PDF BibTeX XML Cite \textit{D. N. Politis}, Model-free prediction and regression. A transformation-based approach to inference. Cham: Springer (2015; Zbl 1397.62008) Full Text: DOI
Aerts, Arend; Mousavi, Mohammad Reza; Reniers, Michel A tool prototype for model-based testing of cyber-physical systems. (English) Zbl 06545747 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25149-3/pbk; 978-3-319-25150-9/ebook). Lecture Notes in Computer Science 9399, 563-572 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Aerts} et al., Lect. Notes Comput. Sci. 9399, 563--572 (2015; Zbl 06545747) Full Text: DOI
Peleska, Jan Translating testing theories for concurrent systems. (English) Zbl 1444.68121 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 133-151 (2015). MSC: 68Q85 68Q55 68Q60 68Q65 PDF BibTeX XML Cite \textit{J. Peleska}, Lect. Notes Comput. Sci. 9360, 133--151 (2015; Zbl 1444.68121) Full Text: DOI
Imbens, Guido W.; Rubin, Donald B. Causal inference for statistics, social, and biomedical sciences. An introduction. (English) Zbl 1355.62002 Cambridge: Cambridge University Press (ISBN 978-0-521-88588-1/hbk; 978-1-139-02575-1/ebook). xix, 625 p. (2015). Reviewer: Iris Burkholder (Saarbrücken) MSC: 62-01 62P10 62P25 62F03 62G05 PDF BibTeX XML Cite \textit{G. W. Imbens} and \textit{D. B. Rubin}, Causal inference for statistics, social, and biomedical sciences. An introduction. Cambridge: Cambridge University Press (2015; Zbl 1355.62002) Full Text: DOI
Jourdan, Guy-Vincent; Ural, Hasan; Yenigün, Hüsnü Reduced checking sequences using unreliable reset. (English) Zbl 1327.68160 Inf. Process. Lett. 115, No. 5, 532-535 (2015). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{G.-V. Jourdan} et al., Inf. Process. Lett. 115, No. 5, 532--535 (2015; Zbl 1327.68160) Full Text: DOI
Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken Powertrain control verification benchmark. (English) Zbl 1362.93070 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 253-262 (2014). MSC: 93C30 93A30 93C95 03B80 PDF BibTeX XML Cite \textit{X. Jin} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 253--262 (2014; Zbl 1362.93070) Full Text: DOI
Aarts, Fides; Kuppens, Harco; Tretmans, Jan; Vaandrager, Frits; Verwer, Sicco Improving active Mealy machine learning for protocol conformance testing. (English) Zbl 1317.68087 Mach. Learn. 96, No. 1-2, 189-224 (2014). MSC: 68Q45 68Q32 68Q60 PDF BibTeX XML Cite \textit{F. Aarts} et al., Mach. Learn. 96, No. 1--2, 189--224 (2014; Zbl 1317.68087) Full Text: DOI
Hierons, Robert M.; Merayo, Mercedes G.; Núñez, Manuel Timed implementation relations for the distributed test architecture. (English) Zbl 1291.68048 Distrib. Comput. 27, No. 3, 181-201 (2014). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{R. M. Hierons} et al., Distrib. Comput. 27, No. 3, 181--201 (2014; Zbl 1291.68048) Full Text: DOI
Westgate, Philip M. On small-sample inference in group randomized trials with binary outcomes and cluster-level covariates. (English) Zbl 1284.62399 Biom. J. 55, No. 5, 789-806 (2013). MSC: 62H30 62G10 62G05 65C60 PDF BibTeX XML Cite \textit{P. M. Westgate}, Biom. J. 55, No. 5, 789--806 (2013; Zbl 1284.62399) Full Text: DOI
Zhang, Jian Epistatic clustering: a model-based approach for identifying links between clusters. (English) Zbl 1283.62134 J. Am. Stat. Assoc. 108, No. 504, 1366-1384 (2013). MSC: 62H30 62G10 62G09 65C60 62G20 PDF BibTeX XML Cite \textit{J. Zhang}, J. Am. Stat. Assoc. 108, No. 504, 1366--1384 (2013; Zbl 1283.62134) Full Text: DOI
Chen, Jingshu; Kulkarni, Sandeep MR4UM: a framework for adding fault tolerance to UML state diagrams. (English) Zbl 1294.68043 Theor. Comput. Sci. 496, 17-33 (2013). MSC: 68M15 68Q60 93C40 93C95 PDF BibTeX XML Cite \textit{J. Chen} and \textit{S. Kulkarni}, Theor. Comput. Sci. 496, 17--33 (2013; Zbl 1294.68043) Full Text: DOI
Belli, Fevzi; Beyazıt, Mutlu Using regular grammars for event-based testing. (English) Zbl 1298.68060 Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 48-59 (2013). MSC: 68N30 68Q42 PDF BibTeX XML Cite \textit{F. Belli} and \textit{M. Beyazıt}, Lect. Notes Comput. Sci. 7982, 48--59 (2013; Zbl 1298.68060) Full Text: DOI
Skruch, Pawel Mathematical and implementation challenges associated with testing of the dynamical systems. (English) Zbl 1268.68067 Hömberg, Dietmar (ed.) et al., System modeling and optimization. 25th IFIP TC 7 conference on system modeling and optimization, CSMO 2011, Berlin, Germany, September 12–16, 2011. Revised Selected Papers. Heidelberg: Springer (ISBN 978-3-642-36061-9/hbk; 978-3-642-36062-6/ebook). IFIP Advances in Information and Communication Technology 391, 538-546 (2013). MSC: 68N30 68N99 PDF BibTeX XML Cite \textit{P. Skruch}, IFIP Adv. Inf. Commun. Technol. 391, 538--546 (2013; Zbl 1268.68067) Full Text: DOI
Andrade, Wilkerson L.; Machado, Patrícia D. L. Testing interruptions in reactive systems. (English) Zbl 1259.68031 Formal Asp. Comput. 24, No. 3, 331-353 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{W. L. Andrade} and \textit{P. D. L. Machado}, Formal Asp. Comput. 24, No. 3, 331--353 (2012; Zbl 1259.68031) Full Text: DOI
El-Fakih, K. A.; Dorofeeva, R.; Yevtushenko, N. V.; Bochmann, G. V. FSM-based testing from user defined faults adapted to incremental and mutation testing. (English) Zbl 1252.68191 Program. Comput. Softw. 38, No. 4, 201-209 (2012). MSC: 68Q60 68Q45 68N30 PDF BibTeX XML Cite \textit{K. A. El-Fakih} et al., Program. Comput. Softw. 38, No. 4, 201--209 (2012; Zbl 1252.68191) Full Text: DOI
Hierons, Robert M. The complexity of asynchronous model based testing. (English) Zbl 1251.68118 Theor. Comput. Sci. 451, 70-82 (2012). MSC: 68Q17 68N30 68M15 PDF BibTeX XML Cite \textit{R. M. Hierons}, Theor. Comput. Sci. 451, 70--82 (2012; Zbl 1251.68118) Full Text: DOI
Lochau, Malte; Schaefer, Ina; Kamischke, Jochen; Lity, Sascha Incremental model-based testing of delta-oriented software product lines. (English) Zbl 1354.68059 Brucker, Achim D. (ed.) et al., Tests and proofs. 6th international conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30472-9/pbk). Lecture Notes in Computer Science 7305, 67-82 (2012). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{M. Lochau} et al., Lect. Notes Comput. Sci. 7305, 67--82 (2012; Zbl 1354.68059) Full Text: DOI
Bué, Pierre-Christophe; Julliand, Jacques; Masson, Pierre-Alain Association of under-approximation techniques for generating tests from models. (English) Zbl 1335.68046 Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 51-68 (2011). MSC: 68N30 PDF BibTeX XML Cite \textit{P.-C. Bué} et al., Lect. Notes Comput. Sci. 6706, 51--68 (2011; Zbl 1335.68046) Full Text: DOI
Xu, Dianxiang A tool for automated test code generation from high-level Petri nets. (English) Zbl 1330.68049 Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 308-317 (2011). MSC: 68N99 68Q85 PDF BibTeX XML Cite \textit{D. Xu}, Lect. Notes Comput. Sci. 6709, 308--317 (2011; Zbl 1330.68049) Full Text: DOI
Cavarra, Alessandra A data-flow approach to test multi-agent ASMs. (English) Zbl 1214.68210 Formal Asp. Comput. 23, No. 1, 21-41 (2011). MSC: 68Q60 68N30 68Q05 PDF BibTeX XML Cite \textit{A. Cavarra}, Formal Asp. Comput. 23, No. 1, 21--41 (2011; Zbl 1214.68210) Full Text: DOI
Julliand, Jacques; Masson, Pierre-Alain; Tissot, Régis; Bué, Pierre-Christophe Generating tests from B specifications and dynamic selection criteria. (English) Zbl 1214.68217 Formal Asp. Comput. 23, No. 1, 3-19 (2011). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{J. Julliand} et al., Formal Asp. Comput. 23, No. 1, 3--19 (2011; Zbl 1214.68217) Full Text: DOI
Calvagna, Andrea; Gargantini, Angelo A formal logic approach to constrained combinatorial testing. (English) Zbl 1213.68131 J. Autom. Reasoning 45, No. 4, 331-358 (2010). MSC: 68M15 03B70 68N30 PDF BibTeX XML Cite \textit{A. Calvagna} and \textit{A. Gargantini}, J. Autom. Reasoning 45, No. 4, 331--358 (2010; Zbl 1213.68131) Full Text: DOI
Jourdan, Guy-Vincent; Ural, Hasan; Yenigün, Hüsnü; Zhang, Ji Chao Lower bounds on lengths of checking sequences. (English) Zbl 1214.68216 Formal Asp. Comput. 22, No. 6, 667-679 (2010). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{G.-V. Jourdan} et al., Formal Asp. Comput. 22, No. 6, 667--679 (2010; Zbl 1214.68216) Full Text: DOI
Asthana, Shireesh; Tripathi, Saurabh; Singh, Sandeep Kumar A novel approach to generate test cases using class and sequence diagrams. (English) Zbl 1213.68130 Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 155-167 (2010). MSC: 68M15 68N99 PDF BibTeX XML Cite \textit{S. Asthana} et al., Commun. Comput. Inf. Sci. 95, 155--167 (2010; Zbl 1213.68130) Full Text: DOI
Shirole, Mahesh; Kumar, Rajeev A hybrid genetic algorithm based test case generation using sequence diagrams. (English) Zbl 1213.68688 Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-14833-0/pbk; 978-3-642-14834-7/ebook). Communications in Computer and Information Science 94, 53-63 (2010). MSC: 68W05 68T05 PDF BibTeX XML Cite \textit{M. Shirole} and \textit{R. Kumar}, Commun. Comput. Inf. Sci. 94, 53--63 (2010; Zbl 1213.68688) Full Text: DOI
Veanes, Margus; Jacky, Jonathan Composing model programs for analysis. (English) Zbl 1204.68133 J. Log. Algebr. Program. 79, No. 7, 467-482 (2010). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Veanes} and \textit{J. Jacky}, J. Log. Algebr. Program. 79, No. 7, 467--482 (2010; Zbl 1204.68133) Full Text: DOI
Weiglhofer, Martin; Aichernig, Bernhard K. Unifying input output conformance. (English) Zbl 1286.68095 Butterfield, Andrew (ed.), Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14520-9/pbk). Lecture Notes in Computer Science 5713, 181-201 (2010). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Weiglhofer} and \textit{B. K. Aichernig}, Lect. Notes Comput. Sci. 5713, 181--201 (2010; Zbl 1286.68095) Full Text: DOI
Kim, Sinae; Dahl, David B.; Vannucci, Marina Spiked Dirichlet process prior for Bayesian multiple hypothesis testing in random effects models. (English) Zbl 1330.62029 Bayesian Anal. 4, No. 4, 707-732 (2009). MSC: 62-07 62M07 62H15 62H30 62P10 PDF BibTeX XML Cite \textit{S. Kim} et al., Bayesian Anal. 4, No. 4, 707--732 (2009; Zbl 1330.62029) Full Text: DOI Euclid
Jéron, Thierry Symbolic model-based test selection. (English) Zbl 1347.68228 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 167-184 (2009). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{T. Jéron}, Electron. Notes Theor. Comput. Sci. 240, 167--184 (2009; Zbl 1347.68228) Full Text: DOI
Conrad, Mirko Testing-based translation validation of generated code in the context of IEC 61508. (English) Zbl 1185.68411 Form. Methods Syst. Des. 35, No. 3, 389-401 (2009). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Conrad}, Form. Methods Syst. Des. 35, No. 3, 389--401 (2009; Zbl 1185.68411) Full Text: DOI
Dang, Thao; Nahhal, Tarik Coverage-guided test generation for continuous and hybrid systems. (English) Zbl 1176.68033 Form. Methods Syst. Des. 34, No. 2, 183-213 (2009). MSC: 68M15 PDF BibTeX XML Cite \textit{T. Dang} and \textit{T. Nahhal}, Form. Methods Syst. Des. 34, No. 2, 183--213 (2009; Zbl 1176.68033) Full Text: DOI
Madani, Laya; Parissis, Ioannis Automatically testing interactive applications using extended task trees. (English) Zbl 1175.68113 J. Log. Algebr. Program. 78, No. 6, 454-471 (2009). MSC: 68N30 PDF BibTeX XML Cite \textit{L. Madani} and \textit{I. Parissis}, J. Log. Algebr. Program. 78, No. 6, 454--471 (2009; Zbl 1175.68113) Full Text: DOI
Goel, Ankit; Roychoudhury, Abhik Test generation from integrated system models capturing state-based and MSC-based notations. (English) Zbl 1194.68101 Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 184-207 (2009). MSC: 68N99 PDF BibTeX XML Cite \textit{A. Goel} and \textit{A. Roychoudhury}, in: Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press. 184--207 (2009; Zbl 1194.68101)
Pezzè, Mauro; Young, Michal Software testing and analysis. Process, principles and techniques. Translated by Rainer G. Haselier. (Software testen und analysieren. Prozesse, Prinzipien and Techniken. Übersetzt von Rainer G. Haselier.) (German) Zbl 1169.68008 München: Oldenbourg Verlag (ISBN 978-3-486-58521-6/hbk). xxvi, 552 p. (2009). Reviewer: G. Bauer (Görlitz) MSC: 68N01 68N30 68-01 PDF BibTeX XML Cite \textit{M. Pezzè} and \textit{M. Young}, Software testen und analysieren. Prozesse, Prinzipien and Techniken. Übersetzt von Rainer G. Haselier. München: Oldenbourg Verlag (2009; Zbl 1169.68008)
Dadeau, Frédéric; De Kermadec, Adrien; Tissot, Régis Combining scenario- and model-based testing to ensure POSIX compliance. (English) Zbl 1156.68344 Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 153-166 (2008). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{F. Dadeau} et al., Lect. Notes Comput. Sci. 5238, 153--166 (2008; Zbl 1156.68344) Full Text: DOI
Julliand, Jacques; Masson, Pierre-Alain; Tissot, Régis Generating tests from B specifications and test purposes. (English) Zbl 1156.68471 Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 139-152 (2008). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Julliand} et al., Lect. Notes Comput. Sci. 5238, 139--152 (2008; Zbl 1156.68471) Full Text: DOI
Walkinshaw, Neil; Bogdanov, Kirill; Johnson, Ken Evaluation and comparison of inferred regular grammars. (English) Zbl 1177.68129 Clark, Alexander (ed.) et al., Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88008-0/pbk). Lecture Notes in Computer Science 5278. Lecture Notes in Artificial Intelligence, 252-265 (2008). MSC: 68Q32 68Q42 68T50 PDF BibTeX XML Cite \textit{N. Walkinshaw} et al., Lect. Notes Comput. Sci. 5278, 252--265 (2008; Zbl 1177.68129) Full Text: DOI
Jacky, Jonathan; Veanes, Marqus; Campbell, Colin; Schulte, Wolfram Model-based software testing and analysis with C#. (English) Zbl 1142.68024 Cambridge: Cambridge University Press (ISBN 978-0-521-68761-4/pbk; 978-0-521-88655-0/hbk). xvi, 349 p. (2008). Reviewer: Mirel Cosulschi (Craiova) MSC: 68N99 68N15 68-01 68Q60 PDF BibTeX XML Cite \textit{J. Jacky} et al., Model-based software testing and analysis with C\#. Cambridge: Cambridge University Press (2008; Zbl 1142.68024) Full Text: DOI
Gargantini, Angelo Using model checking to generate fault detecting tests. (English) Zbl 1196.68134 Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 189-206 (2007). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{A. Gargantini}, Lect. Notes Comput. Sci. 4454, 189--206 (2007; Zbl 1196.68134) Full Text: DOI
Engel, Christian; Hähnle, Reiner Generating unit tests from formal proofs. (English) Zbl 1196.68046 Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 169-188 (2007). MSC: 68N30 68N19 68T15 PDF BibTeX XML Cite \textit{C. Engel} and \textit{R. Hähnle}, Lect. Notes Comput. Sci. 4454, 169--188 (2007; Zbl 1196.68046) Full Text: DOI
Satpathy, Manoranjan; Butler, Michael; Leuschel, Michael; Ramesh, S. Automatic testing from formal specifications. (English) Zbl 1196.68141 Gurevich, Yuri (ed.) et al., Tests and proofs. First international conference, TAP 2007, Zurich, Switzerland, February 12–13, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-73769-8/pbk). Lecture Notes in Computer Science 4454, 95-113 (2007). MSC: 68Q60 68N19 PDF BibTeX XML Cite \textit{M. Satpathy} et al., Lect. Notes Comput. Sci. 4454, 95--113 (2007; Zbl 1196.68141) Full Text: DOI
Calderón-Espinoza, Gabriela; Armengol, Joaquim; Vehí, Josep; Gelso, Esteban R. Dynamic diagnosis based on interval analytical redundancy relations and signs of the symptoms. (English) Zbl 1127.68007 AI Commun. 20, No. 1, 39-47 (2007). MSC: 68M15 PDF BibTeX XML Cite \textit{G. Calderón-Espinoza} et al., AI Commun. 20, No. 1, 39--47 (2007; Zbl 1127.68007)
Ceballos, Rafael; Gómez-López, M. Teresa; Gasca, Rafael M.; Del Valle, Carmelo A compiled model for faults diagnosis based on different techniques. (English) Zbl 1127.68008 AI Commun. 20, No. 1, 7-16 (2007). MSC: 68M15 PDF BibTeX XML Cite \textit{R. Ceballos} et al., AI Commun. 20, No. 1, 7--16 (2007; Zbl 1127.68008)
Cai, Kai-Yuan; Dong, Zhao; Liu, Ke; Bai, Cheng-Gang A mathematical modeling framework for software reliability testing. (English) Zbl 1115.68053 Int. J. Gen. Syst. 36, No. 4, 399-463 (2007). MSC: 68N99 62N02 62N05 62J10 PDF BibTeX XML Cite \textit{K.-Y. Cai} et al., Int. J. Gen. Syst. 36, No. 4, 399--463 (2007; Zbl 1115.68053) Full Text: DOI
Zhao, Xiangfu; Ouyang, Dantong A method of combining SE-tree to compute all minimal hitting sets. (English) Zbl 1093.68140 Prog. Nat. Sci. 16, No. 2, 169-174 (2006). MSC: 68W05 68M15 PDF BibTeX XML Cite \textit{X. Zhao} and \textit{D. Ouyang}, Prog. Nat. Sci. 16, No. 2, 169--174 (2006; Zbl 1093.68140) Full Text: DOI
Bohnenkamp, Henrik; Belinfante, Axel Timed testing with TorX. (English) Zbl 1120.68409 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 173-188 (2005). MSC: 68Q60 PDF BibTeX XML Cite \textit{H. Bohnenkamp} and \textit{A. Belinfante}, Lect. Notes Comput. Sci. 3582, 173--188 (2005; Zbl 1120.68409) Full Text: DOI
Gross, Hans-Gerhard Component-based software testing with UML. (English) Zbl 1080.68015 Berlin: Springer (ISBN 3-540-20864-X/hbk). xviii, 316 p. (2005). Reviewer: Tudor Bălănescu (Pitesti) MSC: 68N30 68N19 68N99 68-01 PDF BibTeX XML Cite \textit{H.-G. Gross}, Component-based software testing with UML. Berlin: Springer (2005; Zbl 1080.68015)
Luh, Guan-Chun; Cheng, Wei-Chong Immune model-based fault diagnosis. (English) Zbl 1180.92041 Math. Comput. Simul. 67, No. 6, 515-539 (2005). MSC: 92C50 62N05 PDF BibTeX XML Cite \textit{G.-C. Luh} and \textit{W.-C. Cheng}, Math. Comput. Simul. 67, No. 6, 515--539 (2005; Zbl 1180.92041) Full Text: DOI
Köb, Daniel; Peischl, Bernhard; Wotawa, Franz Debugging VHDL designs using temporal process instances. (English) Zbl 1039.68884 Chung, Paul W. H. (ed.) et al., Developments in applied artificial intelligence. 16th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2003, Loughborough, UK, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40455-4/pbk). Lect. Notes Comput. Sci. 2718, 402-415 (2003). MSC: 68U99 68M15 68N99 PDF BibTeX XML Cite \textit{D. Köb} et al., Lect. Notes Comput. Sci. 2718, 402--415 (2003; Zbl 1039.68884) Full Text: Link
Juričić, Đani; Žele, Mina Robust detection of sensor faults by means of a statistical test. (English) Zbl 1006.94036 Automatica 38, No. 4, 737-742 (2002). MSC: 94C12 90B25 PDF BibTeX XML Cite \textit{Đ. Juričić} and \textit{M. Žele}, Automatica 38, No. 4, 737--742 (2002; Zbl 1006.94036) Full Text: DOI
Basseville, Michéle On fault detectability and isolability. (English) Zbl 1293.68062 Eur. J. Control 7, No. 6, 625-637 (2001). MSC: 68M15 94C12 PDF BibTeX XML Cite \textit{M. Basseville}, Eur. J. Control 7, No. 6, 625--637 (2001; Zbl 1293.68062) Full Text: DOI
DiRienzo, A. G.; Lagakos, S. W. Effects of model misspecification on tests of no randomized treatment effect arising from Cox’s proportional hazards model. (English) Zbl 0987.62065 J. R. Stat. Soc., Ser. B, Stat. Methodol. 63, No. 4, 745-757 (2001). MSC: 62N03 62P10 PDF BibTeX XML Cite \textit{A. G. DiRienzo} and \textit{S. W. Lagakos}, J. R. Stat. Soc., Ser. B, Stat. Methodol. 63, No. 4, 745--757 (2001; Zbl 0987.62065) Full Text: DOI
Frank, P. M.; Alcorta Garcia, E.; Köppen-Seliger, B. Modelling for fault detection and isolation versus modelling for control. (English) Zbl 0992.93004 Math. Comput. Model. Dyn. Syst. 7, No. 1, 1-46 (2001). Reviewer: Lubomír Bakule (Praha) MSC: 93A30 94C12 PDF BibTeX XML Cite \textit{P. M. Frank} et al., Math. Comput. Model. Dyn. Syst. 7, No. 1, 1--46 (2001; Zbl 0992.93004) Full Text: DOI
Tătar, Mugur Marius Dependent defects and aspects of efficiency in model-based diagnosis. (English) Zbl 0905.68008 Hamburg: Univ. Hamburg, FB Informatik, 279 p. (1997). MSC: 68M15 68-02 PDF BibTeX XML Cite \textit{M. M. Tătar}, Dependent defects and aspects of efficiency in model-based diagnosis. Hamburg: Univ. Hamburg, FB Informatik (1997; Zbl 0905.68008)
Liu, K. Application of SVD in optimization of structural modal test. (English) Zbl 0924.73156 Comput. Struct. 63, No. 1, 51-59 (1997). MSC: 74P99 74K10 PDF BibTeX XML Cite \textit{K. Liu}, Comput. Struct. 63, No. 1, 51--59 (1997; Zbl 0924.73156) Full Text: DOI
Giudici, Paolo Bayes factors for zero partial covariances. (English) Zbl 0833.62026 J. Stat. Plann. Inference 46, No. 2, 161-174 (1995). MSC: 62F15 62H15 PDF BibTeX XML Cite \textit{P. Giudici}, J. Stat. Plann. Inference 46, No. 2, 161--174 (1995; Zbl 0833.62026) Full Text: DOI
Meyer, John F. Performability: A retrospective and some pointers to the future. (English) Zbl 0749.68014 Perform. Eval. 14, No. 3-4, 139-156 (1992). MSC: 68M20 68M15 PDF BibTeX XML Cite \textit{J. F. Meyer}, Perform. Eval. 14, No. 3--4, 139--156 (1992; Zbl 0749.68014) Full Text: DOI
Lin, D. Y.; Wei, L. J. Goodness-of-fit tests for the general Cox regression model. (English) Zbl 0823.62046 Stat. Sin. 1, No. 1, 1-17 (1991). MSC: 62G10 62F03 PDF BibTeX XML Cite \textit{D. Y. Lin} and \textit{L. J. Wei}, Stat. Sin. 1, No. 1, 1--17 (1991; Zbl 0823.62046)