{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":17,"n_cols":5,"rows_kept":17,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[10,2,10,3],[11,2,11,3],[14,2,14,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996464523903316"]
[null,null,"Titolo",null,"Tests and proofs : 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / / edited by Frédéric Loulergue and Franz Wotawa"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2021]"]
[{"$nulls":4},"©2021"]
[null,null,"ISBN",null,"3-030-79379-6"]
[null,null,"Descrizione fisica",null,"1 online resource (117 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science ; ; v.12740"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computer software - Testing"]
[{"$nulls":4},"Software engineering"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Intro -- Preface -- Organization -- Abstracts of Invited Events -- Learning About the Change: An Adaptive Approach to Automata Learning -- Testing, Runtime Verification and Automata Learning -- Contents -- Learning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- 1 Introduction -- 2 Background and Problem Statement -- 2.1 Use Case Modeling -- 2.2 Active Automaton Learning -- 2.3 Problem Statement: Scalable ML -- 3 Constrained Active Machine Learning (CAML) -- 3.1 Use Case Testing: An Example -- 3.2 A Parallel Distributed CAML Architecture -- 4 A Use Case Modeling Language for CAML -- 4.1 Input/Output Declaration -- 4.2 Sequencing, Static and Dynamic Constraints -- 4.3 Automated Test Verdict Construction -- 5 Evaluation and Benchmarking -- 5.1 ROBOTest: A CAML Implementation -- 5.2 Integration of ROBOTest and ASM -- 5.3 ACC Use Case Descriptions -- 5.4 ACC Test Objectives -- 6 Results -- 7 Related Work -- 8 Conclusions and Future Work -- References -- Architecture-Guided Test Resource Allocation via Logic -- 1 Introduction -- 1.1 Related Work -- 2 Quantitative Confidence Logic -- 2.1 Syntax and Proof Rules of QCL -- 2.2 Interpretation as Random Variables -- 3 Translating System Architectures to Proofs -- 4 Solving the Test Resource Allocation Problem -- 4.1 Confidence Functions -- 4.2 The Optimisation Problem -- 5 Experimental Results -- 5.1 RQ1: Theoretical Evaluation -- 5.2 RQ2: Empirical Evaluation -- 5.3 "]
[{"$nulls":4},"Evaluation Results -- 6 Conclusion and Future Work -- References -- A Benchmarks Library for Extended Parametric Timed Automata -- 1 Introduction -- 2 Related Libraries -- 3 Parametric Timed Automata -- 4 The Benchmarks Library -- 4.1 Organization -- 4.2 Distribution -- 4.3 Benchmarks Classification -- 4.4 Properties -- 4.5 Unsolvable Benchmarks -- 4.6 Expected Performances."]
[{"$nulls":4},"5 Perspectives -- References -- Testing -- Generating Timed UI Tests from Counterexamples -- 1 Introduction -- 2 Preliminaries -- 3 Scratch Error Witnesses -- 3.1 User Inputs -- 3.2 Mocks -- 4 Witness Generation -- 4.1 Concrete Program Trace from an Abstract Reachability Graph -- 4.2 Error Witness from a Concrete Program Trace -- 5 Evaluation -- 5.1 Experiment Setup -- 5.2 Witness Replay and Validation (Effectiveness) -- 5.3 Sequential Tool Combination (Efficiency) -- 6 Related Work -- 7 Conclusions -- References -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- 1 Introduction -- 2 Related Work -- 3 JMLKelinci -- 4 Experimental Study -- 5 Conclusion -- References -- FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs -- 1 Introduction -- 2 Preliminaries -- 2.1 Fuzzing -- 2.2 Symbolic Execution -- 2.3 Types of Vulnerabilities -- 3 FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs -- 3.1 Analyze C Code -- 3.2 Inject Labels -- 3.3 Produce Counterexamples -- 3.4 Create Graphml -- 3.5 Produce Test Cases -- 3.6 Selective Fuzzer -- 3.7 Test Validator -- 4 Evaluation -- 4.1 Description of Benchmarks and Setup -- 4.2 Objectives -- 4.3 Results -- 5 Related Work -- 6 Conclusions and Future Work -- A  Appendix -- A.1  Artifact -- A.2  Tool Availability -- A.3  Tool Setup -- References -- Author Index."]