%0
Generic
%T
Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
%A Bertacco, Valeria
%A Legay, Axel
%I Springer
%@ 9783319030777
%K Computer Communication Networks
%K Logic design
%K Computer Science
%K Computer science
%K Software engineering
%K Artificial intelligence
%K Compilers (Computer programs).
%K Machine theory.
%K Computer networks .
%K Plaperback / softback
%K Research
%K automated random testing
%K bisimulation minimization
%K constraint debugging
%K constraint-random verification
%K dataflow analysis
%K diagnosability
%K distribution constraints
%K formal reasoning
%K functional test generation
%K functional verification
%K model checking
%K multi-comparative functional coverage
%K optimization of verification
%K program analysis
%K transitive relations
%K Konferenzschrift 2011 Haifa
%K Hardwareverifikation
%K Formale Methode
%K Testen
%K Programmverifikation
%K Softwaretest
%D 2013
%X Literaturangaben
%X Backbones for EqualityPASS: String Solving with Parameterized Array and Interval Automaton -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test Generation -- Symbolic Model-Based Testing for Industrial Automation Software -- Online Testing of LTL Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project -- SLAM: SLice And Merge - Effective Test Generation for Large Systems -- Improving Post-silicon Validation Efficiency by Using Pre-generated Data -- Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors -- Assertion Checking Using Dynamic Inference -- Formal Specification of an Erase Block Management Layer for Flash Memory -- Attention-Based Coverage Metrics Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis of Reliability Architectures via Predicate Abstraction -- Lazy Symbolic Execution through Abstraction and Sub-space Search -- SPIN as a Linearizability Checker under Weak Memory Models -- Arithmetic Bit-Level Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic Model Checking -- Improving Representative Computation in ExpliSAT.
%C Springer
%C Cham [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2