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 90 träffar

Titel Författare År Språk
1 Trace Server - A Tool for Storing, Querying and Analyzing Execution Traces JPF Workshop 2011 Igor Andjelkovic 2011 Engelska
2 Accurate Centralization for Applying Model Checking on Networked Applications 21st Int. Conf. on Automated Software Engineering (ASE 2006) Cyrille Artho 2006 Engelska
3 Advanced Unit Testing—How to Scale Up a Unit Test Framework Workshop on Automation of Software Test (AST 2006) Cyrille Artho 2006 Engelska
4 AOP-based automated unit test classification of large benchmarks 3rd Int. Workshop on Aspect-Oriented Software Development (AOAsia 2007) Cyrille Artho 2007 Engelska
5 Applying Jlint to Space Exploration Software Model Checking and Abstract Interpretation (VMCAI 2004) 5th Int. Conf. on Verification Cyrille Artho 2004 Engelska
6 Applying Static Analysis to Large-Scale, Multithreaded Java Programs 13th ASWEC Cyrille Artho 2001 Engelska
7 Architecture-aware Partial-order Reduction to Accelerate Model Checking of Networked Programs Denmark Roskilde Third DIKU-IST workshop Cyrille Artho 2007 Engelska
8 Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs And Parallel/Distributed Computing (SNPD 2008) Networking Artificial Intelligence 9th Int. Conf. on Software Engineering Cyrille Artho 2008 Engelska
9 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
10 Cache-based Model Checking of Networked Software Workshop on Dependability of Network Software Applications (DNSA 2010) Cyrille Artho 2010 Engelska
11 Classification of Randomly Generated Test Cases 1st Int. Workshop on Validating Software Tests (VST 2016) Cyrille Artho 2016 Engelska
12 Combined Static and Dynamic Analysis Cyrille Artho 2005 Engelska
13 Combined Static and Dynamic Analysis 1st Int. Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL 2005) Cyrille Artho 2005 Engelska
14 Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races Cyrille Artho 2005 Engelska
15 Domain-Specific Languages with Scala 17th Int. Conf. on Formal Engineering Methods (ICFEM 2015) Cyrille Artho 2015 Engelska
16 Efficient Model Checking of Applications with Input/Output EUROCAST 2007 Cyrille Artho 2007 Engelska
17 Efficient Model Checking of Applications with I/O 11th Int. Conf. on Computer Aided Systems Theory (Eurocast 2007) Cyrille Artho 2007 Engelska
18 Efficient Model Checking of Networked Applications TOOLS EUROPE 2008 Cyrille Artho 2008 Engelska
19 Enforcer—Efficient Failure Injection 14th Int. Conf. on Formal Methods (FM 2006) Cyrille Artho 2006 Engelska
20 Exhaustive Testing of Exception Handlers with Enforcer Cyrille Artho 2006 Engelska

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.