Travelled to:1 × Austria
1 × Canada
1 × Hungary
1 × Japan
1 × New Zealand
1 × South Korea
1 × Spain
1 × Sweden
2 × Switzerland
3 × USA
Collaborated with:A.Biere L.Ma H.Sato M.Hagiya Y.Tanabe T.Kitamura E.Choi W.Leungwattanakit C.Zhang M.Yamamoto P.Garoche K.Havelund M.Seidl R.Ramler Y.Oiwa A.Yamada S.Honiden J.Gmeiner M.Pande Q.T.0001 K.Suzaki R.D.Cosmo R.Treinen S.Zacchiroli R.Potter F.Weitl V.Schuppan P.Eugster M.Baur B.Zweimüller Q.Gros A.Mori Y.Yamagata
Talks about:test (8) model (7) check (5) base (5) softwar (4) effici (4) network (3) central (3) analysi (3) applic (3)
Person: Cyrille Artho
DBLP: Artho:Cyrille
Contributed to:
2015
2014
2014
2014
2013
2013
201220112009
20082006
2006
2004
2004201520162019Wrote 20 papers:
- ICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing
- Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
- GPCE-2014-MaAZS #performance #product line #testing
- Efficient testing of software product lines via centralization (LM, CA, CZ, HS), pp. 49–52.
- ICTSS-2014-ChoiKAO #design #testing
- Design of Prioritized N-Wise Testing (EHC, TK, CA, YO), pp. 186–191.
- SAC-2014-MaAS #graph
- Project centralization based on graph coloring (LM, CA, HS), pp. 1086–1093.
- ASE-2013-ArthoHPTWY #communication #distributed #model checking
- Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
- TAP-2013-ArthoBS #modelling #testing #verification
- Model-Based Testing for Verification Back-Ends (CA, AB, MS), pp. 39–55.
- MSR-2012-ArthoSCTZ #question #why
- Why do software packages conflict? (CA, KS, RDC, RT, SZ), pp. 141–150.
- ASE-2011-LeungwattanakitAHTY #distributed #model checking #process
- Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
- ASE-2009-ArthoLHTY #branch #linear #model checking
- Cache-Based Model Checking of Networked Applications: From Linear to Branching Time (CA, WL, MH, YT, MY), pp. 447–458.
- TOOLS-EUROPE-2008-ArthoLHT #model checking #performance
- Efficient Model Checking of Networked Applications (CA, WL, MH, YT), pp. 22–40.
- ASE-2006-ArthoG #model checking
- Accurate Centralization for Applying Model Checking on Networked Applications (CA, PLG), pp. 177–188.
- FM-2006-ArthoBH #injection #named #performance
- Enforcer — Efficient Failure Injection (CA, AB, SH), pp. 412–427.
- CAV-2004-ArthoSBEBZ #dynamic analysis #java #named #performance
- JNuke: Efficient Dynamic Analysis for Java (CA, VS, AB, PE, MB, BZ), pp. 462–465.
- VMCAI-2004-ArthoH
- Applying Jlint to Space Exploration Software (CA, KH), pp. 297–308.
- ASE-2015-ArthoSGCKMRY #api #modelling #testing
- Model-Based Testing of Stateful APIs with Modbat (CA, MS, QG, EHC, TK, AM, RR, YY), pp. 858–863.
- ASE-2015-MaAZSGR #named #random testing #testing
- GRT: Program-Analysis-Guided Random Testing (T) (LM, CA, CZ, HS, JG, RR), pp. 212–223.
- ASE-2015-MaAZSGR15a #automation #generative #named #program analysis #using
- GRT: An Automated Test Generator Using Orchestrated Program Analysis (LM, CA, CZ, HS, JG, RR), pp. 842–847.
- ASE-2016-YamadaBAKC #combinator #generative #satisfiability #testing #using
- Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.
- ASE-2019-ArthoPT #concurrent #java #visual notation
- Visual Analytics for Concurrent Java Executions (CA, MP, QT0), pp. 1102–1105.