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/pts/ictss2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/pts/AartsJU10,
author = {Fides Aarts and
Bengt Jonsson and
Johan Uijen},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Generating Models of Infinite-State Communication Protocols Using
Regular Inference with Abstraction},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {188--204},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_14},
doi = {10.1007/978-3-642-16573-3\_14},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/AartsJU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/AlmeidaMSTV10,
author = {Eduardo Cunha de Almeida and
Jo{\~{a}}o Eugenio Marynowski and
Gerson Suny{\'{e}} and
Yves Le Traon and
Patrick Valduriez},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Efficient Distributed Test Architectures for Large-Scale Systems},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {174--187},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_13},
doi = {10.1007/978-3-642-16573-3\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/AlmeidaMSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ArcuriIB10,
author = {Andrea Arcuri and
Muhammad Zohaib Z. Iqbal and
Lionel C. Briand},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Black-Box System Testing of Real-Time Embedded Systems Using Random
and Search-Based Testing},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {95--110},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_8},
doi = {10.1007/978-3-642-16573-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ArcuriIB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CabralPV10,
author = {Rafael da Veiga Cabral and
Aurora T. R. Pozo and
Silvia Regina Vergilio},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {A Pareto Ant Colony Algorithm Applied to the Class Integration and
Test Order Problem},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {16--29},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_3},
doi = {10.1007/978-3-642-16573-3\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/CabralPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DelamareMBT10,
author = {Romain Delamare and
Freddy Mu{\~{n}}oz and
Benoit Baudry and
Yves Le Traon},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Vidock: {A} Tool for Impact Analysis of Aspect Weaving on Test Cases},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {250--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_18},
doi = {10.1007/978-3-642-16573-3\_18},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/DelamareMBT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FalconeFJMM10,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Laurent Mounier},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {More Testable Properties},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {30--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_4},
doi = {10.1007/978-3-642-16573-3\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/FalconeFJMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Gladisch10,
author = {Christoph Gladisch},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Test Data Generation for Programs with Quantified First-Order Logic
Specifications},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {158--173},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_12},
doi = {10.1007/978-3-642-16573-3\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Gladisch10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Heitmeyer10,
author = {Constance L. Heitmeyer},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {A Model-Based Approach to Testing Software for Critical Behavior and
Properties},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_2},
doi = {10.1007/978-3-642-16573-3\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Heitmeyer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HemmatiAB10,
author = {Hadi Hemmati and
Andrea Arcuri and
Lionel C. Briand},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Reducing the Cost of Model-Based Testing through Test Case Diversity},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {63--78},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_6},
doi = {10.1007/978-3-642-16573-3\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/HemmatiAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LakhotiaTHH10,
author = {Kiran Lakhotia and
Nikolai Tillmann and
Mark Harman and
Jonathan de Halleux},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {FloPSy - Search-Based Floating Point Constraint Solving for Symbolic
Execution},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {142--157},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_11},
doi = {10.1007/978-3-642-16573-3\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/LakhotiaTHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LamanchaU10,
author = {Beatriz P{\'{e}}rez Lamancha and
Macario Polo Usaola},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Testing Product Generation in Software Product Lines Using Pairwise
for Features Coverage},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {111--125},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_9},
doi = {10.1007/978-3-642-16573-3\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/LamanchaU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MeinkeN10,
author = {Karl Meinke and
Fei Niu},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {A Learning-Based Approach to Unit Testing of Numerical Software},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {221--235},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_16},
doi = {10.1007/978-3-642-16573-3\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/MeinkeN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PielGG10,
author = {{\'{E}}ric Piel and
Alberto Gonz{\'{a}}lez{-}Sanchez and
Hans{-}Gerhard Gro{\ss}},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Built-In Data-Flow Integration Testing in Large-Scale Component-Based
Systems},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {79--94},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_7},
doi = {10.1007/978-3-642-16573-3\_7},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/PielGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Schieferdecker10,
author = {Ina Schieferdecker},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Test Automation with {TTCN-3} - State of the Art and a Future Perspective},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {1--14},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_1},
doi = {10.1007/978-3-642-16573-3\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Schieferdecker10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ShinboTAHS10,
author = {Hiroyuki Shinbo and
Atsushi Tagami and
Shigehiro Ano and
Toru Hasegawa and
Kenji Suzuki},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Practical End-to-End Performance Testing Tool for High Speed 3G-Based
Networks},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {205--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_15},
doi = {10.1007/978-3-642-16573-3\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ShinboTAHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/UlrichAHB10,
author = {Andreas Ulrich and
El Hachemi Alikacem and
Hesham Hallal and
Sergiy Boroday},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {From Scenarios to Test Implementations Via Promela},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {236--249},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_17},
doi = {10.1007/978-3-642-16573-3\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/UlrichAHB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/VeanesB10,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Alternating Simulation and {IOCO}},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {47--62},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_5},
doi = {10.1007/978-3-642-16573-3\_5},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/VeanesB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/WalkinshawBDP10,
author = {Neil Walkinshaw and
Kirill Bogdanov and
John Derrick and
Javier Par{\'{\i}}s},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Increasing Functional Coverage by Inductive Testing: {A} Case Study},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {126--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_10},
doi = {10.1007/978-3-642-16573-3\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/WalkinshawBDP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2010,
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3},
doi = {10.1007/978-3-642-16573-3},
isbn = {978-3-642-16572-6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2010.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-04-19 06:30 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:
