Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Abstraction and Testing."
download as .bib file
@inproceedings{DBLP:conf/fdg/MawhorterS23,
author = {Ross Mawhorter and
Adam M. Smith},
editor = {Phil Lopes and
Filipe Luz and
Antonios Liapis and
Henrik Engstr{\"{o}}m},
title = {Automated Testing in Super Metroid with Abstraction-Guided Exploration},
booktitle = {Proceedings of the 18th International Conference on the Foundations
of Digital Games, {FDG} 2023, Lisbon, Portugal, April 12-14, 2023},
pages = {21:1--21:9},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3582437.3582447},
doi = {10.1145/3582437.3582447},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdg/MawhorterS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KorogluW23,
author = {Yavuz K{\"{o}}roglu and
Franz Wotawa},
title = {Continuous Domain Input Abstraction and Fault Detection Capability
in Combinatorial Testing},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023 - Workshops, Luxembourg, September 11-15, 2023},
pages = {167--170},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASEW60602.2023.00027},
doi = {10.1109/ASEW60602.2023.00027},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KorogluW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/gr/Sotiropoulos22,
author = {Thodoris Sotiropoulos},
title = {Abstractions for software testing},
school = {Athens University Economics and Business, Greece},
year = {2022},
url = {http://hdl.handle.net/10442/hedi/52667},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/gr/Sotiropoulos22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HsiehWKM22,
author = {Chiao Hsieh and
Daniel Wu and
Yubin Koh and
Sayan Mitra},
title = {Programming Abstractions for Simulation and Testing on Smart Manufacturing
Systems},
booktitle = {18th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2022, Mexico City, Mexico, August 20-24, 2022},
pages = {2287--2292},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CASE49997.2022.9926564},
doi = {10.1109/CASE49997.2022.9926564},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/HsiehWKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangWGPK21,
author = {Qian Zhang and
Jiyuan Wang and
Muhammad Ali Gulzar and
Rohan Padhye and
Miryung Kim},
title = {Efficient Fuzz Testing for Apache Spark Using Framework Abstraction},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {61--64},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00036},
doi = {10.1109/ICSE-COMPANION52605.2021.00036},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhangWGPK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PengRNBLSJ21,
author = {Zedong Peng and
Prachi Rathod and
Nan Niu and
Tanmay Bhowmik and
Hui Liu and
Lin Shi and
Zhi Jin},
title = {Environment-Driven Abstraction Identification for Requirements-Based
Testing},
booktitle = {29th {IEEE} International Requirements Engineering Conference, {RE}
2021, Notre Dame, IN, USA, September 20-24, 2021},
pages = {245--256},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RE51729.2021.00029},
doi = {10.1109/RE51729.2021.00029},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/PengRNBLSJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/websci/PathrudkarMSC21,
author = {Sagar Pathrudkar and
Saikat Mukherjee and
Vijaya Sarathi and
Manish Chowdhary},
editor = {Oshani Seneviratne and
Vivek Singh and
Ana Freire and
Jar{-}der Luo},
title = {SceVar (Scenario Variations) Database: Real World Statistics driven
Scenario Variations for {AV} Testing in Simulation: Abstraction of
static and dynamic entities from road network-traffic ecosystem and
their interactions or relationships in semantic data models for realistic
simulation-based testing of AVs},
booktitle = {WebSci '21: 13th {ACM} Web Science Conference 2021, Virtual Event,
United Kingdom, 21-25 June, 2021, Companion Publication},
pages = {126--129},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462741.3466655},
doi = {10.1145/3462741.3466655},
timestamp = {Mon, 26 Jul 2021 14:56:06 +0200},
biburl = {https://dblp.org/rec/conf/websci/PathrudkarMSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05118,
author = {Qian Zhang and
Jiyuan Wang and
Muhammad Ali Gulzar and
Rohan Padhye and
Miryung Kim},
title = {Efficient Fuzz Testing for Apache Spark Using Framework Abstraction},
journal = {CoRR},
volume = {abs/2103.05118},
year = {2021},
url = {https://arxiv.org/abs/2103.05118},
eprinttype = {arXiv},
eprint = {2103.05118},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Padhye20,
author = {Rohan Padhye},
title = {Abstractions and Algorithms for Specializing Dynamic Program Analysis
and Random Fuzz Testing},
school = {University of California, Berkeley, {USA}},
year = {2020},
url = {https://www.escholarship.org/uc/item/6r94r40b},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Padhye20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangWGPK20,
author = {Qian Zhang and
Jiyuan Wang and
Muhammad Ali Gulzar and
Rohan Padhye and
Miryung Kim},
title = {BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework
Abstraction},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {722--733},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416641},
doi = {10.1145/3324884.3416641},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhangWGPK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10419,
author = {Daniel Kraus and
Jeremias R{\"{o}}{\ss}ler and
Martin Sulzmann},
title = {Visual Testing of GUIs by Abstraction},
journal = {CoRR},
volume = {abs/2007.10419},
year = {2020},
url = {https://arxiv.org/abs/2007.10419},
eprinttype = {arXiv},
eprint = {2007.10419},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-11182,
author = {Andrea Fioraldi},
title = {Program State Abstraction for Feedback-Driven Fuzz Testing using Likely
Invariants},
journal = {CoRR},
volume = {abs/2012.11182},
year = {2020},
url = {https://arxiv.org/abs/2012.11182},
eprinttype = {arXiv},
eprint = {2012.11182},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-11182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hu/Gabor19b,
author = {G{\'{a}}bor M{\'{a}}rton},
title = {Tools and Language Elements for Testing, Encapsulation and Controlling
Abstraction in Large Scale {C++} Projects},
school = {E{\"{o}}tv{\"{o}}s Lor{\'{a}}nd University, Hungary},
year = {2019},
url = {https://doktori.hu/index.php?menuid=193\&lang=HU\&vid=20402},
timestamp = {Thu, 08 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hu/Gabor19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuSMC0YZLS19,
author = {Tianxiao Gu and
Chengnian Sun and
Xiaoxing Ma and
Chun Cao and
Chang Xu and
Yuan Yao and
Qirun Zhang and
Jian Lu and
Zhendong Su},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Practical {GUI} testing of Android applications via model abstraction
and refinement},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {269--280},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00042},
doi = {10.1109/ICSE.2019.00042},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GuSMC0YZLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WangAKS19,
author = {Rui Wang and
Cyrille Artho and
Lars Michael Kristensen and
Volker Stolz},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Visualization and Abstractions for Execution Paths in Model-Based
Software Testing},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {474--492},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_26},
doi = {10.1007/978-3-030-34968-4\_26},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/WangAKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AndreAGR19,
author = {{\'{E}}tienne Andr{\'{e}} and
Paolo Arcaini and
Angelo Gargantini and
Marco Radavelli},
editor = {Dirk Beyer and
Chantal Keller},
title = {Repairing Timed Automata Clock Guards through Abstraction and Testing},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {129--146},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_9},
doi = {10.1007/978-3-030-31157-5\_9},
timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/AndreAGR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-02133,
author = {{\'{E}}tienne Andr{\'{e}} and
Paolo Arcaini and
Angelo Gargantini and
Marco Radavelli},
title = {Repairing Timed Automata Clock Guards through Abstraction and Testing},
journal = {CoRR},
volume = {abs/1907.02133},
year = {2019},
url = {http://arxiv.org/abs/1907.02133},
eprinttype = {arXiv},
eprint = {1907.02133},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-02133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BernardiF17,
author = {Giovanni Bernardi and
Adrian Francalanza},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
title = {Full-Abstraction for Must Testing Preorders - (Extended Abstract)},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {237--255},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_13},
doi = {10.1007/978-3-319-59746-1\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BernardiF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FraccaroliF17,
author = {Enrico Fraccaroli and
Franco Fummi},
editor = {David Atienza and
Giorgio Di Natale},
title = {Analog fault testing through abstraction},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {270--273},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7926996},
doi = {10.23919/DATE.2017.7926996},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/FraccaroliF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YangC16,
author = {Jialin Yang and
W. K. Chan},
title = {Dynamic Testing Against Hidden Concurrency Bugs through Abstraction
and Projection},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {600--601},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.102},
doi = {10.1109/COMPSAC.2016.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YangC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/SmolovLKYCK16,
author = {Sergey A. Smolov and
Jorge L{\'{o}}pez and
Natalia Kushik and
Nina Yevtushenko and
Mikhail M. Chupilko and
Alexander S. Kamkin},
title = {Testing logic circuits at different abstraction levels: An experimental
evaluation},
booktitle = {2016 {IEEE} East-West Design {\&} Test Symposium, {EWDTS} 2016,
Yerevan, Armenia, October 14-17, 2016},
pages = {1--4},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EWDTS.2016.7807687},
doi = {10.1109/EWDTS.2016.7807687},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewdts/SmolovLKYCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DacaGH16,
author = {Przemyslaw Daca and
Ashutosh Gupta and
Thomas A. Henzinger},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Abstraction-driven Concolic Testing},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {328--347},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_16},
doi = {10.1007/978-3-662-49122-5\_16},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DacaGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SunXLLQ15,
author = {Jun Sun and
Hao Xiao and
Yang Liu and
Shang{-}Wei Lin and
Shengchao Qin},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {{TLV:} abstraction through testing, learning, and validation},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {698--709},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786817},
doi = {10.1145/2786805.2786817},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SunXLLQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DacaGH15,
author = {Przemyslaw Daca and
Ashutosh Gupta and
Thomas A. Henzinger},
title = {Abstraction-driven Concolic Testing},
journal = {CoRR},
volume = {abs/1511.02615},
year = {2015},
url = {http://arxiv.org/abs/1511.02615},
eprinttype = {arXiv},
eprint = {1511.02615},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DacaGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ArcainiGR14,
author = {Paolo Arcaini and
Angelo Gargantini and
Elvinia Riccobene},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {An Abstraction Technique for Testing Decomposable Systems by Model
Checking},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {36--52},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_3},
doi = {10.1007/978-3-319-09099-3\_3},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/ArcainiGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Hirschowitz13,
author = {Tom Hirschowitz},
editor = {Reiko Heckel and
Stefan Milius},
title = {Full Abstraction for Fair Testing in {CCS}},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {175--190},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_14},
doi = {10.1007/978-3-642-40206-7\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Hirschowitz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-6184,
author = {Tom Hirschowitz},
title = {Full abstraction for fair testing in {CCS}},
journal = {CoRR},
volume = {abs/1305.6184},
year = {2013},
url = {http://arxiv.org/abs/1305.6184},
eprinttype = {arXiv},
eprint = {1305.6184},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-6184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JuzgadoVSAR12,
author = {Natalia Juristo Juzgado and
Sira Vegas and
Mart{\'{\i}}n Solari and
Silvia Abrah{\~{a}}o and
Isabel Ramos},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Comparing the Effectiveness of Equivalence Partitioning, Branch Testing
and Code Reading by Stepwise Abstraction Applied by Subjects},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {330--339},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.113},
doi = {10.1109/ICST.2012.113},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JuzgadoVSAR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Baluda11,
author = {Mauro Baluda},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Automatic structural testing with abstraction refinement and coarsening},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {400--403},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025173},
doi = {10.1145/2025113.2025173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Baluda11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlsenLS10,
author = {Petur Olsen and
Kim G. Larsen and
Arne Skou},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Present and Absent Sets: Abstraction for Testing of Reactive Systems
with Databases},
booktitle = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
2010, Paphos, Cyprus, March 21, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {3},
pages = {53--68},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.014},
doi = {10.1016/J.ENTCS.2010.12.014},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/OlsenLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Salvaneschi09,
author = {Paolo Salvaneschi},
title = {Functional abstractions for testing repository-style information systems},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {71--80},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070965},
doi = {10.1109/ICSE-COMPANION.2009.5070965},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Salvaneschi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/AchenbachO09,
author = {Michael Achenbach and
Klaus Ostermann},
title = {Engineering Abstractions in Model Checking and Testing},
booktitle = {Ninth {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2009, Edmonton, Alberta, Canada, September
20-21, 2009},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SCAM.2009.25},
doi = {10.1109/SCAM.2009.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/AchenbachO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/RungtaMV09,
author = {Neha Rungta and
Eric G. Mercer and
Willem Visser},
editor = {Corina S. Pasareanu},
title = {Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic
Execution},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {174--191},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_16},
doi = {10.1007/978-3-642-02652-2\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/RungtaMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XuGM08,
author = {Ru{-}Gang Xu and
Patrice Godefroid and
Rupak Majumdar},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Testing for buffer overflows with length abstraction},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {27--38},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390636},
doi = {10.1145/1390630.1390636},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/XuGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PenaCL06,
author = {Patr{\'{\i}}cia N. Pena and
Jos{\'{e}} E. R. Cury and
St{\'{e}}phane Lafortune},
title = {New Results on Testing Modularity of Local Supervisors using Abstractions},
booktitle = {Proceedings of 11th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2006, September 20-22, 2006, Diplomat
Hotel Prague, Czech Republic},
pages = {950--956},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ETFA.2006.355433},
doi = {10.1109/ETFA.2006.355433},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/PenaCL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YorshBS06,
author = {Greta Yorsh and
Thomas Ball and
Mooly Sagiv},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Testing, abstraction, theorem proving: better together!},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {145--156},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146255},
doi = {10.1145/1146238.1146255},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/YorshBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/CalameIPS05,
author = {Jens R. Calam{\'{e}} and
Natalia Ioustinova and
Jaco van de Pol and
Natalia Sidorova},
title = {Data Abstraction and Constraint Solving for Conformance Testing},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {541--548},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.57},
doi = {10.1109/APSEC.2005.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/CalameIPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GossensBBC05,
author = {Stefan Gossens and
Fevzi Belli and
Sami Beydeda and
Mario Dal Cin},
title = {View Graphs for Analysis and Testing of Programs at Different Abstraction
Levels},
booktitle = {Ninth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2005), 12-14 October 2005, Heidelberg, Germany},
pages = {121--130},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HASE.2005.27},
doi = {10.1109/HASE.2005.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/GossensBBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/CrowtherBC05,
author = {David Crowther and
Djuradj Babich and
Peter J. Clarke},
title = {A Class Abstraction Technique to Support the Analysis of Java Programs
During Testing},
booktitle = {Third {ACIS} International Conference on Software Engineering, Research,
Management and Applications {(SERA} 2005), 11-13 August 2005, Mt.
Pleasant, MI, {USA}},
pages = {22--29},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SERA.2005.1},
doi = {10.1109/SERA.2005.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sera/CrowtherBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PrenningerP05,
author = {Wolfgang Prenninger and
Alexander Pretschner},
editor = {Mauro Pezz{\`{e}}},
title = {Abstractions for Model-Based Testing},
booktitle = {Proceedings of the International Workshop on Test and Analysis of
Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {116},
pages = {59--71},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.086},
doi = {10.1016/J.ENTCS.2004.02.086},
timestamp = {Fri, 09 Dec 2022 13:14:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PrenningerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LaplanteLMPR02,
author = {Sophie Laplante and
Richard Lassaigne and
Fr{\'{e}}d{\'{e}}ric Magniez and
Sylvain Peyronnet and
Michel de Rougemont},
title = {Probabilistic Abstraction for Model Checking: An Approach Based on
Property Testing},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029815},
doi = {10.1109/LICS.2002.1029815},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LaplanteLMPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR01-051,
author = {Sophie Laplante and
Richard Lassaigne and
Fr{\'{e}}d{\'{e}}ric Magniez and
Sylvain Peyronnet and
Michel de Rougemont},
title = {Probabilistic abstraction for model checking: An approach based on
property testing},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR01-051}},
year = {2001},
url = {https://eccc.weizmann.ac.il/eccc-reports/2001/TR01-051/index.html},
eprinttype = {ECCC},
eprint = {TR01-051},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR01-051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Schneider00,
author = {Steve A. Schneider},
title = {Abstraction and Testing in {CSP}},
journal = {Formal Aspects Comput.},
volume = {12},
number = {3},
pages = {165--181},
year = {2000},
url = {https://doi.org/10.1007/s001650070027},
doi = {10.1007/S001650070027},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Schneider00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Brockmeyer99,
author = {Monica Brockmeyer},
title = {Monitoring, testing, and abstractions of real -time specifications},
school = {University of Michigan, {USA}},
year = {1999},
url = {http://hdl.handle.net/2027.42/132080},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Brockmeyer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FuchsF99,
author = {Marc Fuchs and
Dirk Fuchs},
editor = {Harald Ganzinger},
title = {Abstraction-Based Relevancy Testing for Model Elimination},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {344--358},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_31},
doi = {10.1007/3-540-48660-7\_31},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/FuchsF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Schneider99,
author = {Steve A. Schneider},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Abstraction and Testing},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {738--757},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_41},
doi = {10.1007/3-540-48119-2\_41},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Schneider99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BacisBFFGS97,
author = {M. Bacis and
Giacomo Buonanno and
Fabrizio Ferrandi and
Franco Fummi and
Luca Gerli and
Donatella Sciuto},
title = {Application of a Testing Framework to {VHDL} Descriptions at Different
Abstraction Levels},
booktitle = {Proceedings 1997 International Conference on Computer Design: {VLSI}
in Computers {\&} Processors, {ICCD} '97, Austin, Texas, USA,
October 12-15, 1997},
pages = {654--658},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICCD.1997.628935},
doi = {10.1109/ICCD.1997.628935},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/BacisBFFGS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BoudolL96,
author = {G{\'{e}}rard Boudol and
Carolina Lavatelli},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Full Abstraction for Lambda Calculus with Resources and Convergence
Testing},
booktitle = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1059},
pages = {302--316},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61064-2\_45},
doi = {10.1007/3-540-61064-2\_45},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BoudolL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Stepney95,
author = {Susan Stepney},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Testing as Abstraction},
booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
pages = {137--151},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_117},
doi = {10.1007/3-540-60271-2\_117},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Stepney95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CleavelandR94,
author = {Rance Cleaveland and
James Riely},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Testing-Based Abstractions for Value-Passing Systems},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {417--432},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_31},
doi = {10.1007/978-3-540-48654-1\_31},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/CleavelandR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Pehrson83,
author = {Bj{\"{o}}rn Pehrson},
editor = {Harry Rudin and
Colin H. West},
title = {Abstraction by Structural Reduction},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {87--94},
publisher = {North-Holland},
year = {1983},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Pehrson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GannonMH81,
author = {John D. Gannon and
Paul R. McMullin and
Richard G. Hamlet},
title = {Data-Abstraction Implementation, Specification, and Testing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {3},
number = {3},
pages = {211--223},
year = {1981},
url = {https://doi.org/10.1145/357139.357140},
doi = {10.1145/357139.357140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GannonMH81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Howden80,
author = {William E. Howden},
title = {Functional testing and design abstractions},
journal = {J. Syst. Softw.},
volume = {1},
pages = {307--313},
year = {1980},
url = {https://doi.org/10.1016/0164-1212(79)90032-3},
doi = {10.1016/0164-1212(79)90032-3},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/Howden80.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-15 18:49 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:
