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/fase2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/fase/Aalst12,
author = {Wil M. P. van der Aalst},
editor = {Juan de Lara and
Andrea Zisman},
title = {Distributed Process Discovery and Conformance Checking},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {1--25},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_1},
doi = {10.1007/978-3-642-28872-2\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Aalst12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AbadiEF12,
author = {Aharon Abadi and
Ran Ettinger and
Yishai A. Feldman},
editor = {Juan de Lara and
Andrea Zisman},
title = {Fine Slicing - Theory and Applications for Computation Extraction},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {471--485},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_32},
doi = {10.1007/978-3-642-28872-2\_32},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AbadiEF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlbertBGHR12,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Juan de Lara and
Andrea Zisman},
title = {Verified Resource Guarantees for Heap Manipulating Programs},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {130--145},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_10},
doi = {10.1007/978-3-642-28872-2\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/AlbertBGHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlrajehKRU12,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Juan de Lara and
Andrea Zisman},
title = {Learning from Vacuously Satisfiable Scenario-Based Specifications},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {377--393},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_26},
doi = {10.1007/978-3-642-28872-2\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AlrajehKRU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BaeOMA12,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer and
Abdullah Al{-}Nayeem},
editor = {Juan de Lara and
Andrea Zisman},
title = {The SynchAADL2Maude Tool},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {59--62},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_4},
doi = {10.1007/978-3-642-28872-2\_4},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BaeOMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BarrBRHGD12,
author = {Earl T. Barr and
Christian Bird and
Peter C. Rigby and
Abram Hindle and
Daniel M. Germ{\'{a}}n and
Premkumar T. Devanbu},
editor = {Juan de Lara and
Andrea Zisman},
title = {Cohesive and Isolated Development with Branches},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {316--331},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_22},
doi = {10.1007/978-3-642-28872-2\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BarrBRHGD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BauerDHLLNW12,
author = {Sebastian S. Bauer and
Alexandre David and
Rolf Hennicker and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Juan de Lara and
Andrea Zisman},
title = {Moving from Specifications to Contracts in Component-Based Design},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {43--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_3},
doi = {10.1007/978-3-642-28872-2\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BauerDHLLNW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BecceMRS12,
author = {Giovanni Becce and
Leonardo Mariani and
Oliviero Riganelli and
Mauro Santoro},
editor = {Juan de Lara and
Andrea Zisman},
title = {Extracting Widget Descriptions from GUIs},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {347--361},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_24},
doi = {10.1007/978-3-642-28872-2\_24},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BecceMRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BradfieldS12,
author = {Julian C. Bradfield and
Perdita Stevens},
editor = {Juan de Lara and
Andrea Zisman},
title = {Recursive Checkonly {QVT-R} Transformations with General when and
where Clauses via the Modal Mu Calculus},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {194--208},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_14},
doi = {10.1007/978-3-642-28872-2\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BradfieldS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BruniCGLV12,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Juan de Lara and
Andrea Zisman},
title = {A Conceptual Framework for Adaptation},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {240--254},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_17},
doi = {10.1007/978-3-642-28872-2\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BruniCGLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DiskinMC12,
author = {Zinovy Diskin and
T. S. E. Maibaum and
Krzysztof Czarnecki},
editor = {Juan de Lara and
Andrea Zisman},
title = {Intermodeling, Queries, and Kleisli Categories},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {163--177},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_12},
doi = {10.1007/978-3-642-28872-2\_12},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DiskinMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EckhardtMAMW12,
author = {Jonas Eckhardt and
Tobias M{\"{u}}hlbauer and
Musab AlTurki and
Jos{\'{e}} Meseguer and
Martin Wirsing},
editor = {Juan de Lara and
Andrea Zisman},
title = {Stable Availability under Denial of Service Attacks through Formal
Patterns},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {78--93},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_6},
doi = {10.1007/978-3-642-28872-2\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/EckhardtMAMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ErwigG12,
author = {Martin Erwig and
Rahul Gopinath},
editor = {Juan de Lara and
Andrea Zisman},
title = {Explanations for Regular Expressions},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {394--408},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_27},
doi = {10.1007/978-3-642-28872-2\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ErwigG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FiadeiroL12,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Juan de Lara and
Andrea Zisman},
title = {Consistency of Service Composition},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {63--77},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_5},
doi = {10.1007/978-3-642-28872-2\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/FiadeiroL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GuimaraesS12,
author = {M{\'{a}}rio Lu{\'{\i}}s Guimar{\~{a}}es and
Ant{\'{o}}nio Rito Silva},
editor = {Juan de Lara and
Andrea Zisman},
title = {Making Software Integration Really Continuous},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {332--346},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_23},
doi = {10.1007/978-3-642-28872-2\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/GuimaraesS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HatvaniPS12,
author = {Leo Hatvani and
Paul Pettersson and
Cristina Cerschi Seceleanu},
editor = {Juan de Lara and
Andrea Zisman},
title = {Adaptive Task Automata: {A} Framework for Verifying Adaptive Embedded
Systems},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {115--129},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_9},
doi = {10.1007/978-3-642-28872-2\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/HatvaniPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HermannEEO12,
author = {Frank Hermann and
Hartmut Ehrig and
Claudia Ermel and
Fernando Orejas},
editor = {Juan de Lara and
Andrea Zisman},
title = {Concurrent Model Synchronization with Conflict Resolution Based on
Triple Graph Grammars},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {178--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_13},
doi = {10.1007/978-3-642-28872-2\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HermannEEO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Kahlon12,
author = {Vineet Kahlon},
editor = {Juan de Lara and
Andrea Zisman},
title = {Schedule Insensitivity Reduction},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {99--114},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_8},
doi = {10.1007/978-3-642-28872-2\_8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/Kahlon12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LiT12,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Juan de Lara and
Andrea Zisman},
title = {A Domain-Specific Language for Scripting Refactorings in Erlang},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {501--515},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_34},
doi = {10.1007/978-3-642-28872-2\_34},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LongCMM12,
author = {Zhenyue Long and
Georgel Calin and
Rupak Majumdar and
Roland Meyer},
editor = {Juan de Lara and
Andrea Zisman},
title = {Language-Theoretic Abstraction Refinement},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {362--376},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_25},
doi = {10.1007/978-3-642-28872-2\_25},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LongCMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MaggiMA12,
author = {Fabrizio Maria Maggi and
Marco Montali and
Wil M. P. van der Aalst},
editor = {Juan de Lara and
Andrea Zisman},
title = {An Operational Decision Support Framework for Monitoring Business
Constraints},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {146--162},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_11},
doi = {10.1007/978-3-642-28872-2\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/MaggiMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MahouachiKG12,
author = {Rim Mahouachi and
Marouane Kessentini and
Khaled Gh{\'{e}}dira},
editor = {Juan de Lara and
Andrea Zisman},
title = {A New Design Defects Classification: Marrying Detection and Correction},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {455--470},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_31},
doi = {10.1007/978-3-642-28872-2\_31},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/MahouachiKG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MauczkaHSSBG12,
author = {Andreas Mauczka and
Markus Huber and
Christian Schanes and
Wolfgang Schramm and
Mario Bernhart and
Thomas Grechenig},
editor = {Juan de Lara and
Andrea Zisman},
title = {Tracing Your Maintenance Work - {A} Cross-Project Validation of an
Automated Classification Dictionary for Commit Messages},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {301--315},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_21},
doi = {10.1007/978-3-642-28872-2\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/MauczkaHSSBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MolRH12,
author = {Maarten de Mol and
Arend Rensink and
James J. Hunt},
editor = {Juan de Lara and
Andrea Zisman},
title = {Graph Transforming Java Data},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {209--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_15},
doi = {10.1007/978-3-642-28872-2\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/MolRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NaujokatLS12,
author = {Stefan Naujokat and
Anna{-}Lena Lamprecht and
Bernhard Steffen},
editor = {Juan de Lara and
Andrea Zisman},
title = {Loose Programming with {PROPHETS}},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {94--98},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_7},
doi = {10.1007/978-3-642-28872-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/NaujokatLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RubinC12,
author = {Julia Rubin and
Marsha Chechik},
editor = {Juan de Lara and
Andrea Zisman},
title = {Combining Related Products into Product Lines},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {285--300},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_20},
doi = {10.1007/978-3-642-28872-2\_20},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/RubinC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RuscioMMPP12,
author = {Davide Di Ruscio and
Ivano Malavolta and
Henry Muccini and
Patrizio Pelliccione and
Alfonso Pierantonio},
editor = {Juan de Lara and
Andrea Zisman},
title = {Model-Driven Techniques to Enhance Architectural Languages Interoperability},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {26--42},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_2},
doi = {10.1007/978-3-642-28872-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/RuscioMMPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SalayFC12,
author = {Rick Salay and
Michalis Famelis and
Marsha Chechik},
editor = {Juan de Lara and
Andrea Zisman},
title = {Language Independent Refinement Using Partial Modeling},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {224--239},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_16},
doi = {10.1007/978-3-642-28872-2\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SalayFC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ShiCD12,
author = {Jiangfan Shi and
Myra B. Cohen and
Matthew B. Dwyer},
editor = {Juan de Lara and
Andrea Zisman},
title = {Integration Testing of Software Product Lines Using Compositional
Symbolic Execution},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {270--284},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_19},
doi = {10.1007/978-3-642-28872-2\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ShiCD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SilvaTT12,
author = {Josep Silva and
Salvador Tamarit and
C{\'{e}}sar Tom{\'{a}}s},
editor = {Juan de Lara and
Andrea Zisman},
title = {System Dependence Graphs in Sequential Erlang},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {486--500},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_33},
doi = {10.1007/978-3-642-28872-2\_33},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/SilvaTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/StaatsGWH12,
author = {Matt Staats and
Gregory Gay and
Michael W. Whalen and
Mats Per Erik Heimdahl},
editor = {Juan de Lara and
Andrea Zisman},
title = {On the Danger of Coverage Directed Test Case Generation},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {409--424},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_28},
doi = {10.1007/978-3-642-28872-2\_28},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/StaatsGWH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ThumSKAS12,
author = {Thomas Th{\"{u}}m and
Ina Schaefer and
Martin Kuhlemann and
Sven Apel and
Gunter Saake},
editor = {Juan de Lara and
Andrea Zisman},
title = {Applying Design by Contract to Feature-Oriented Programming},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {255--269},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_18},
doi = {10.1007/978-3-642-28872-2\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ThumSKAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TrikiLBDB12,
author = {Taha Triki and
Yves Ledru and
Lydie du Bousquet and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Julien Botella},
editor = {Juan de Lara and
Andrea Zisman},
title = {Model-Based Filtering of Combinatorial Test Suites},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {439--454},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_30},
doi = {10.1007/978-3-642-28872-2\_30},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/TrikiLBDB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/UsaolaML12,
author = {Macario Polo Usaola and
Pedro Reales Mateo and
Beatriz P{\'{e}}rez Lamancha},
editor = {Juan de Lara and
Andrea Zisman},
title = {Reduction of Test Suites Using Mutation},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {425--438},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_29},
doi = {10.1007/978-3-642-28872-2\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/UsaolaML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2012,
editor = {Juan de Lara and
Andrea Zisman},
title = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2},
doi = {10.1007/978-3-642-28872-2},
isbn = {978-3-642-28871-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2012.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-05-29 04:22 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:
