Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fase/fase2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/fase/AbdallahGHJ13,
author = {Rouwaida Abdallah and
Arnaud Gotlieb and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Claude Jard},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Scenario Realizability with Constraint Optimization},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {194--209},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_14},
doi = {10.1007/978-3-642-37057-1\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/AbdallahGHJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AutiliRSIT13,
author = {Marco Autili and
Davide Di Ruscio and
Amleto Di Salle and
Paola Inverardi and
Massimo Tivoli},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {A Model-Based Synthesis Process for Choreography Realizability Enforcement},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {37--52},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_4},
doi = {10.1007/978-3-642-37057-1\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/AutiliRSIT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BapodraH13,
author = {Mayur Bapodra and
Reiko Heckel},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Abstraction and Training of Stochastic Graph Transformation Systems},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {312--326},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_23},
doi = {10.1007/978-3-642-37057-1\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BapodraH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BeyerL13,
author = {Dirk Beyer and
Stefan L{\"{o}}we},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Explicit-State Software Model Checking Based on {CEGAR} and Interpolation},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {146--162},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_11},
doi = {10.1007/978-3-642-37057-1\_11},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BeyerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BongiovanniH13,
author = {Francesco Bongiovanni and
Ludovic Henrio},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {A Mechanized Model for {CAN} Protocols},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {266--281},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_20},
doi = {10.1007/978-3-642-37057-1\_20},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BongiovanniH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BouchouchaSL13,
author = {Arbi Bouchoucha and
Houari A. Sahraoui and
Pierre L'Ecuyer},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards Understanding the Behavior of Classes Using Probabilistic
Models of Program Inputs},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {99--113},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_8},
doi = {10.1007/978-3-642-37057-1\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BouchouchaSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BradfieldS13,
author = {Julian C. Bradfield and
Perdita Stevens},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Enforcing {QVT-R} with mu-Calculus and Games},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {282--296},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_21},
doi = {10.1007/978-3-642-37057-1\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BradfieldS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CavalcantiH13,
author = {Ana Cavalcanti and
Robert M. Hierons},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Testing with Inputs and Outputs in {CSP}},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {359--374},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_26},
doi = {10.1007/978-3-642-37057-1\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/CavalcantiH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Czarnecki13,
author = {Krzysztof Czarnecki},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Variability in Software: State of the Art and Future Directions -
(Extended Abstract)},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {1--5},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_1},
doi = {10.1007/978-3-642-37057-1\_1},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/Czarnecki13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GudemannPSD13,
author = {Matthias G{\"{u}}demann and
Pascal Poizat and
Gwen Sala{\"{u}}n and
Alexandre Dumont},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {VerChor: {A} Framework for Verifying Choreographies},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {226--230},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_16},
doi = {10.1007/978-3-642-37057-1\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/GudemannPSD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HaslingerLE13,
author = {Evelyn Nicole Haslinger and
Roberto Erick Lopez{-}Herrejon and
Alexander Egyed},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {On Extracting Feature Models from Sets of Valid Feature Combinations},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {53--67},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_5},
doi = {10.1007/978-3-642-37057-1\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HaslingerLE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HoferRWAG13,
author = {Birgit Hofer and
Andr{\'{e}} Riboira and
Franz Wotawa and
Rui Abreu and
Elisabeth Getzner},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {68--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_6},
doi = {10.1007/978-3-642-37057-1\_6},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HoferRWAG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LasseterC13,
author = {John Lasseter and
John Cipriano},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Design Pattern-Based Extension of Class Hierarchies to Support Runtime
Invariant Checks},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {163--178},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_12},
doi = {10.1007/978-3-642-37057-1\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LasseterC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LeoniDG13,
author = {Massimiliano de Leoni and
Marlon Dumas and
Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Discovering Branching Conditions from Business Process Execution Logs},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {114--129},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_9},
doi = {10.1007/978-3-642-37057-1\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LeoniDG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LinPEHR13,
author = {Lan Lin and
Jesse H. Poore and
Robert Eschbach and
Robert M. Hierons and
Christopher Robinson{-}Mallett},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Augmenting Sequence Enumeration with String-Rewriting for Requirements
Analysis and Behavioral Specification},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {179--193},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_13},
doi = {10.1007/978-3-642-37057-1\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LinPEHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MacedoC13,
author = {Nuno Macedo and
Alcino Cunha},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Implementing {QVT-R} Bidirectional Model Transformations Using Alloy},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {297--311},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_22},
doi = {10.1007/978-3-642-37057-1\_22},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/MacedoC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NordioCF13,
author = {Martin Nordio and
Cristiano Calcagno and
Carlo Alberto Furia},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Javanni: {A} Verifier for JavaScript},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {231--234},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_17},
doi = {10.1007/978-3-642-37057-1\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/NordioCF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RubinC13,
author = {Julia Rubin and
Marsha Chechik},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Quality of Merge-Refactorings for Product Lines},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {83--98},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_7},
doi = {10.1007/978-3-642-37057-1\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/RubinC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SakamotoTHWF13,
author = {Kazunori Sakamoto and
Kaizu Tomohiro and
Daigo Hamura and
Hironori Washizaki and
Yoshiaki Fukazawa},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {POGen: {A} Test Code Generator Based on Template Variable Coverage
in Gray-Box Integration Testing for Web Applications},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {343--358},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_25},
doi = {10.1007/978-3-642-37057-1\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SakamotoTHWF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SalayGC13,
author = {Rick Salay and
Jan Gorzny and
Marsha Chechik},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Change Propagation due to Uncertainty Change},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {21--36},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_3},
doi = {10.1007/978-3-642-37057-1\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SalayGC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SanthiarPK13,
author = {Anirudh Santhiar and
Omesh Pandita and
Aditya Kanade},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Discovering Math APIs by Mining Unit Tests},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {327--342},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_24},
doi = {10.1007/978-3-642-37057-1\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SanthiarPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/StruberTJS13,
author = {Daniel Str{\"{u}}ber and
Gabriele Taentzer and
Stefan Jurack and
Tim Sch{\"{a}}fer},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards a Distributed Modeling Process Based on Composite Models},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {6--20},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_2},
doi = {10.1007/978-3-642-37057-1\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/StruberTJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TrikiCBS13,
author = {Ahlem Triki and
Jacques Combaz and
Saddek Bensalem and
Joseph Sifakis},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Model-Based Implementation of Parallel Real-Time Systems},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {235--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_18},
doi = {10.1007/978-3-642-37057-1\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/TrikiCBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TrippPCCG13,
author = {Omer Tripp and
Marco Pistoia and
Patrick Cousot and
Radhia Cousot and
Salvatore Guarnieri},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Andromeda: Accurate and Scalable Security Analysis of Web Applications},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {210--225},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_15},
doi = {10.1007/978-3-642-37057-1\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/TrippPCCG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/YangPX13,
author = {Wei Yang and
Mukul R. Prasad and
Tao Xie},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {250--265},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_19},
doi = {10.1007/978-3-642-37057-1\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/YangPX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ZhongTX13,
author = {Hao Zhong and
Suresh Thummalapenta and
Tao Xie},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Exposing Behavioral Differences in Cross-Language {API} Mapping Relations},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {130--145},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_10},
doi = {10.1007/978-3-642-37057-1\_10},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ZhongTX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2013,
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1},
doi = {10.1007/978-3-642-37057-1},
isbn = {978-3-642-37056-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-10 18:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
