The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for pex with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-2008 (22) 2009-2017 (15) 2019-2023 (6)
Publication types (Num. hits)
article(9) inproceedings(34)
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
152Nikolai Tillmann, Jonathan de Halleux Pex-White Box Test Generation for .NET. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
131Wolfram Schulte Pex - An Intelligent Assistant for Rigorous Developer Testing. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Brett Daniel, Tihomir Gvero, Darko Marinov On test repair using symbolic execution. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF pex, reassert, symbolic test repair, test repair, symbolic execution
50Fernando Vieira Paulovich, Roberto Pinho, Charl P. Botha, Anton Heijs, Rosane Minghim PEx-WEB: Content-based Visualization of Web Search Results. Search on Bibsonomy IV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Jonathan de Halleux, Nikolai Tillmann Parameterized Unit Testing with Pex. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Nikolai Tillmann, Jonathan de Halleux White-box testing of behavioral web service contracts with Pex. Search on Bibsonomy TAV-WEB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web service, testing, unit testing, symbolic execution
47Pex Tufvesson, Frida Heskebeck Automatic Control of Reactive Brain Computer Interfaces. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Adrian 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 Comput. Chem. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Ning Lu, Judy H. McCullen Enablement of Variation-Aware Timing: Treatment of Parasitic Resistance and Capacitance. Search on Bibsonomy ISQED The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Takako M. Hickey, Robbert van Renesse An Execution Service for a Partitionable Low Bandwidth Network. Search on Bibsonomy FTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Milos Gligoric 0001, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov Test generation through programming in UDITA. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder
30Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001 Parameterized unit testing: theory and practice. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
30Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis DySy: dynamic symbolic execution for invariant inference. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
29Edgar Liberis, Nicholas D. Lane Pex: Memory-efficient Microcontroller Deep Learning through Partial Execution. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Ehud 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 CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Han 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 ICAPS The full citation details ... 2022 DBLP  BibTeX  RDF
29Akkarit Sangpetch, Orathai Sangpetch PEX: Privacy-Preserved, Multi-Tier Exchange Framework for Cross Platform Virtual Assets Trading. Search on Bibsonomy CCNC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Tong Zhang, Wenbo Shen, Dongyoon Lee, Changhee Jung, Ahmed M. Azab, Ruowen Wang PeX: A Permission Check Analysis Framework for Linux Kernel. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2019 DBLP  BibTeX  RDF
29Alexander Berk, Steven Richtsmeier, Robert Sundberg Limb-viewing hyperspectral image simulation based on a polygonal earth cross-section (PEX) model. Search on Bibsonomy IGARSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Steven Richtsmeier, Alexander Singer-Berk, Robert Sundberg Limb-viewing hyperspectral image simulation based on a polygonal earth cross-section (PEX) model. Search on Bibsonomy WHISPERS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Stefan 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 SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Karel Frajták, Miroslav Bures, Ivan Jelínek Reducing user input validation code in web applications using Pex extension. Search on Bibsonomy CompSysTech The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Karel Frajták, Miroslav Bures, Ivan Jelínek Pex Extension for Generating User Input Validation Code for Web Applications. Search on Bibsonomy ICSOFT EA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Nikolai 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 ASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29HyunYong Lee, Akihiro Nakao Topology-aware PEX for improving BitTorrent. Search on Bibsonomy LCN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Xusheng Xiao, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux Covana: precise identification of problems in pex. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29Soonho 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 ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Test Generation, Unit Testing, Automated Testing, Environment Modeling, Dynamic Symbolic Execution
29Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte Parameterized Unit Testing with Pex: Tutorial. Search on Bibsonomy PSSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Michael S. Wainer, Ting Tan A Library for Developing PHIGS Programming Tools in a PEX Environment. Search on Bibsonomy Comput. Graph. Forum The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Josef Pöpsel, Christoph Hornung Highlight shading: Lighting and shading in a PHIGS+/PEX-environment. Search on Bibsonomy Comput. Graph. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Hsien Ching Kelvin Sung, Greg Rogers, William J. Kubitz A critical evaluation of PEX. Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Spencer W. Thomas X and PEX Programming. Search on Bibsonomy Advances in Computer Graphics The full citation details ... 1990 DBLP  BibTeX  RDF
29Randi J. Rost, Jeffrey Friedberg, Peter L. Nishimoto PEX: a network-transparent 3D graphics system. Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
29Josef Pöpsel, Christoph Hornung Highlight Shading: Lighting and Shading in a PHIGS+/PEX-Environment. Search on Bibsonomy Eurographics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20Kai Pan, Xintao Wu, Tao Xie 0001 Database state generation via dynamic symbolic execution for coverage criteria. Search on Bibsonomy DBTest The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
20Danilo 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 Vis. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Biomedical imaging and visualization, Image analysis, Visual data mining
20Michael 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 ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Danilo Medeiros Eler, Fernando Vieira Paulovich, Maria Cristina Ferreira de Oliveira, Rosane Minghim Coordinated and Multiple Views for Visualizing Text Collections. Search on Bibsonomy IV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Danilo 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 SIBGRAPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Saswat Anand, Patrice Godefroid, Nikolai Tillmann Demand-Driven Compositional Symbolic Execution. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker 0001, Martin Keim, Wu-Tung Cheng Automatic Test Pattern Generation for Interconnect Open Defects. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interconnect opens, Open-via defects, ATPG
20Yedidya Hilewitz, Ruby B. Lee Fast Bit Compression and Expansion with Parallel Extract and Parallel Deposit Instructions. Search on Bibsonomy ASAP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Kristian Hildingsson, Tughrul Arslan, Ahmet T. Erdogan Energy Evaluation Methodology for Platform Based System-on-Chip Design. Search on Bibsonomy ISVLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license