Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Cyrille. Artho 85 träffar

Titel Författare År Språk
21 Tools and Techniques for Model Checking Networked Programs And Parallel/Distributed Computing (SNPD 2008) Networking Artificial Intelligence 9th Int. Conf. on Software Engineering Cyrille Artho 2008 Engelska
22 Run-time Verification of Networked Software 10th Int. Conf. on Runtime Verification (RV 2010) Cyrille Artho 2010 Engelska
23 Model-based Testing of Stateful APIs with Modbat 30th Int. Conf. on Automated Software Engineering (ASE 2015) Cyrille Artho 2015 Engelska
24 Classification of Randomly Generated Test Cases 1st Int. Workshop on Validating Software Tests (VST 2016) Cyrille Artho 2016 Engelska
25 With an Open Mind - How to Write Good Models 2nd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013) Cyrille Artho 2014 Engelska
26 Using block-local atomicity to detect stale-value concurrency errors 2nd Int. Symposium on Automated Technology for Verification and Analysis (ATVA 2004) Cyrille Artho 2004 Engelska
27 Precondition Coverage in Software Testing 1st Int. Workshop on Validating Software Tests (VST 2016) Cyrille Artho 2016 Engelska
28 Trace Server - A Tool for Storing, Querying and Analyzing Execution Traces JPF Workshop 2011 Igor Andjelkovic 2011 Engelska
29 Cache-based Model Checking of Networked Applications - From Linear to Branching Time 24th Int. Conf. on Automated Software Engineering (ASE 2009) Cyrille Artho 2009 Engelska
30 Extraction of properties in C implementations of security APIs for verification of Java applications 3rd Int. Workshop on Analysis of Security APIs Cyrille Artho 2009 Engelska
31 Model-Based Testing for Verification Backends 7th Int. Conf. on Tests & Proofs (TAP 2013) Armin Biere 2013 Engelska
32 Exhaustive Testing of Exception Handlers with Enforcer Cyrille Artho 2006 Engelska
33 Teaching Software Model Checking Workshop on Formal Methods in Computer Science Education (FORMED 2008) Cyrille Artho 2008 Engelska
34 Advanced Unit Testing—How to Scale Up a Unit Test Framework Workshop on Automation of Software Test (AST 2006) Cyrille Artho 2006 Engelska
35 Applying Jlint to Space Exploration Software Model Checking and Abstract Interpretation (VMCAI 2004) 5th Int. Conf. on Verification Cyrille Artho 2004 Engelska
36 Sources of Inter-package Conflicts in Debian Workshop on Logics for Component Configuration (LoCoCo 2011) Cyrille Artho 2011 Engelska
37 Using Checkpointing and Virtualization for Fault Injection 2nd Int. Symposium on Computing and Networking Cyrille Artho 2014 Engelska
38 Modbat - A model-based API tester for event-driven systems Dependable Systems Workshop (DSW 2012) Cyrille Artho 2012 Engelska
39 JNuke - Efficient Dynamic Analysis for Java 16th Int. Conf. on Computer Aided Verification (CAV 2004) Cyrille Artho 2004 Engelska
40 AOP-based automated unit test classification of large benchmarks 3rd Int. Workshop on Aspect-Oriented Software Development (AOAsia 2007) Cyrille Artho 2007 Engelska

Förra sidan 1 2 3 4 5 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.