|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 15 keywords
|
|
|
Results
Found 45 publication records. Showing 43 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
152 | Nikolai Tillmann, Jonathan de Halleux |
Pex-White Box Test Generation for .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 134-153, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
131 | Wolfram Schulte |
Pex - An Intelligent Assistant for Rigorous Developer Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 161, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
71 | Brett Daniel, Tihomir Gvero, Darko Marinov |
On test repair using symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 207-218, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
pex, reassert, symbolic test repair, test repair, symbolic execution |
50 | Fernando Vieira Paulovich, Roberto Pinho, Charl P. Botha, Anton Heijs, Rosane Minghim |
PEx-WEB: Content-based Visualization of Web Search Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 12th International Conference on Information Visualisation, IV 2008, 8-11 July 2008, London, UK, pp. 208-214, 2008, IEEE Computer Society, 978-0-7695-3268-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Jonathan de Halleux, Nikolai Tillmann |
Parameterized Unit Testing with Pex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 171-181, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Nikolai Tillmann, Jonathan de Halleux |
White-box testing of behavioral web service contracts with Pex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAV-WEB ![In: Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USA, July 21, 2008, pp. 47-48, 2008, ACM, 978-1-60558-053-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web service, testing, unit testing, symbolic execution |
47 | Pex Tufvesson, Frida Heskebeck |
Automatic Control of Reactive Brain Computer Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.07408, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Adrian Verhoef, Jan Degrève, Bart Huybrechs, Henk M. van Veen, Paul Pex, Bart Van der Bruggen |
Simulation of a hybrid pervaporation-distillation process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 32(6), pp. 1135-1146, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Ning Lu, Judy H. McCullen |
Enablement of Variation-Aware Timing: Treatment of Parasitic Resistance and Capacitance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 8th International Symposium on Quality of Electronic Design (ISQED 2007), 26-28 March 2007, San Jose, CA, USA, pp. 743-748, 2007, IEEE Computer Society, 978-0-7695-2795-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Takako M. Hickey, Robbert van Renesse |
An Execution Service for a Partitionable Low Bandwidth Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 174-181, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Milos Gligoric 0001, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
Test generation through programming in UDITA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 225-234, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder |
30 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001 |
Parameterized unit testing: theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 483-484, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects |
30 | Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis |
DySy: dynamic symbolic execution for invariant inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 281-290, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
daikon, dynamic invariant inference, dysy, pex, symbolic reasoning |
29 | Edgar Liberis, Nicholas D. Lane |
Pex: Memory-efficient Microcontroller Deep Learning through Partial Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.17246, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Ehud Aharoni, Moran Baruch, Pradip Bose, Alper Buyuktosunoglu, Nir Drucker, Subhankar Pal, Tomer Pelleg, Kanthi K. Sarpatwar, Hayim Shaul, Omri Soceanu, Roman Vaculín |
HE-PEx: Efficient Machine Learning under Homomorphic Encryption using Pruning, Permutation and Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.03384, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Han Zhang 0018, Oren Salzman, T. K. Satish Kumar, Ariel Felner, Carlos Hernández Ulloa, Sven Koenig |
A*pex: Efficient Approximate Multi-Objective Search on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, pp. 394-403, 2022, AAAI Press, 978-1-57735-874-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
29 | Akkarit Sangpetch, Orathai Sangpetch |
PEX: Privacy-Preserved, Multi-Tier Exchange Framework for Cross Platform Virtual Assets Trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: IEEE 17th Annual Consumer Communications & Networking Conference, CCNC 2020, Las Vegas, NV, USA, January 10-13, 2020, pp. 1-4, 2020, IEEE, 978-1-7281-3893-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Tong Zhang, Wenbo Shen, Dongyoon Lee, Changhee Jung, Ahmed M. Azab, Ruowen Wang |
PeX: A Permission Check Analysis Framework for Linux Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019., pp. 1205-1220, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Alexander Berk, Steven Richtsmeier, Robert Sundberg |
Limb-viewing hyperspectral image simulation based on a polygonal earth cross-section (PEX) model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2017 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2017, Fort Worth, TX, USA, July 23-28, 2017, pp. 1449-1452, 2017, IEEE, 978-1-5090-4951-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Steven Richtsmeier, Alexander Singer-Berk, Robert Sundberg |
Limb-viewing hyperspectral image simulation based on a polygonal earth cross-section (PEX) model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHISPERS ![In: 8th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, WHISPERS 2016, Los Angeles, CA, USA, August 21-24, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-0608-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs |
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERENE ![In: Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, pp. 117-132, 2016, Springer, 978-3-319-45891-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Karel Frajták, Miroslav Bures, Ivan Jelínek |
Reducing user input validation code in web applications using Pex extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 15th International Conference on Computer Systems and Technologies, CompSysTech '14, Ruse, Bulgaria, June 27-28, 2014, pp. 302-308, 2014, ACM, 978-1-4503-2753-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Karel Frajták, Miroslav Bures, Ivan Jelínek |
Pex Extension for Generating User Input Validation Code for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT EA ![In: ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications, Vienna, Austria, 29-31 August, 2014, pp. 315-320, 2014, SciTePress, 978-989-758-036-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001 |
Transferring an automated test generation tool to practice: from pex to fakes and code digger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, pp. 385-396, 2014, ACM, 978-1-4503-3013-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | HyunYong Lee, Akihiro Nakao |
Topology-aware PEX for improving BitTorrent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 38th Annual IEEE Conference on Local Computer Networks, Sydney, Australia, October 21-24, 2013, pp. 667-670, 2013, IEEE Computer Society, 978-1-4799-0537-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Xusheng Xiao, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux |
Covana: precise identification of problems in pex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, pp. 1004-1006, 2011, ACM, 978-1-4503-0445-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Soonho Kong, Nikolai Tillmann, Jonathan de Halleux |
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 758-762, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Test Generation, Unit Testing, Automated Testing, Environment Modeling, Dynamic Symbolic Execution |
29 | Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
Parameterized Unit Testing with Pex: Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSSE ![In: Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures, pp. 141-202, 2007, Springer, 978-3-642-14334-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Michael S. Wainer, Ting Tan |
A Library for Developing PHIGS Programming Tools in a PEX Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 12(4), pp. 219-230, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Josef Pöpsel, Christoph Hornung |
Highlight shading: Lighting and shading in a PHIGS+/PEX-environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 14(1), pp. 55-64, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Hsien Ching Kelvin Sung, Greg Rogers, William J. Kubitz |
A critical evaluation of PEX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 10(6), pp. 65-75, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Spencer W. Thomas |
X and PEX Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Graphics ![In: Advances in Computer Graphics VI, Images: Synthesis, Analysis, and Interaction (Tutorials from Eurographics'90 Conf.), pp. 269-307, 1990, Springer, 3-540-53455-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
29 | Randi J. Rost, Jeffrey Friedberg, Peter L. Nishimoto |
PEX: a network-transparent 3D graphics system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 9(4), pp. 14-26, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
29 | Josef Pöpsel, Christoph Hornung |
Highlight Shading: Lighting and Shading in a PHIGS+/PEX-Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eurographics ![In: 10th European Computer Graphics Conference and Exhibition, Eurographics 1989, Hamburg, Germany, September 4-8, 1989, Proceedings, 1989, North-Holland / Eurographics Association, 978-0-444-88013-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Kai Pan, Xintao Wu, Tao Xie 0001 |
Database state generation via dynamic symbolic execution for coverage criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBTest ![In: Proceedings of the Fourth International Workshop on Testing Database Systems, DBTest 2011, Athens, Greece, June 13, 2011, pp. 4, 2011, ACM, 978-1-4503-0655-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Danilo Medeiros Eler, Marcel Vieira Nakazaki, Fernando Vieira Paulovich, Davi P. Santos, Gabriel de Faria Andery, Maria Cristina Ferreira de Oliveira, João Batista Neto, Rosane Minghim |
Visual analysis of image collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(10), pp. 923-937, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Biomedical imaging and visualization, Image analysis, Visual data mining |
20 | Michael Barnett 0001, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann |
Exploiting the synergy between automated-test-generation and programming-by-contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, pp. 401-402, 2009, IEEE, 978-1-4244-3494-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Danilo Medeiros Eler, Fernando Vieira Paulovich, Maria Cristina Ferreira de Oliveira, Rosane Minghim |
Coordinated and Multiple Views for Visualizing Text Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 12th International Conference on Information Visualisation, IV 2008, 8-11 July 2008, London, UK, pp. 246-251, 2008, IEEE Computer Society, 978-0-7695-3268-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Danilo Medeiros Eler, Marcel Y. Nakazaki, Fernando Vieira Paulovich, Davi P. Santos, Maria Cristina Ferreira de Oliveira, João Batista Neto, Rosane Minghim |
Multidimensional Visualization to Support Analysis of Image Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: SIBGRAPI 2008, Proceedings of the XXI Brazilian Symposium on Computer Graphics and Image Processing, Campo Grande, Brazil, 12-15 October 2008, pp. 289-296, 2008, IEEE Computer Society, 978-0-7695-3358-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
Demand-Driven Compositional Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 367-381, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker 0001, Martin Keim, Wu-Tung Cheng |
Automatic Test Pattern Generation for Interconnect Open Defects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 26th IEEE VLSI Test Symposium (VTS 2008), April 27 - May 1, 2008, San Diego, California, USA, pp. 181-186, 2008, IEEE Computer Society, 978-0-7695-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interconnect opens, Open-via defects, ATPG |
20 | Yedidya Hilewitz, Ruby B. Lee |
Fast Bit Compression and Expansion with Parallel Extract and Parallel Deposit Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA, pp. 65-72, 2006, IEEE Computer Society, 0-7695-2682-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Kristian Hildingsson, Tughrul Arslan, Ahmet T. Erdogan |
Energy Evaluation Methodology for Platform Based System-on-Chip Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2004 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2004), Emerging Trends in VLSI Systems Design, 19-20 February 2004, Lafayette, LA, USA, pp. 61-68, 2004, IEEE Computer Society, 0-7695-2097-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|