Search results for "Pex"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Nikolai Tillmann, Jonathan de Halleux	Pex-White Box Test Generation for .NET.	TAP	2008	DBLP DOI BibTeX RDF
131	Wolfram Schulte	Pex - An Intelligent Assistant for Rigorous Developer Testing.	ICECCS	2007	DBLP DOI BibTeX RDF
71	Brett Daniel, Tihomir Gvero, Darko Marinov	On test repair using symbolic execution.	ISSTA	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.	IV	2008	DBLP DOI BibTeX RDF
50	Jonathan de Halleux, Nikolai Tillmann	Parameterized Unit Testing with Pex.	TAP	2008	DBLP DOI BibTeX RDF
50	Nikolai Tillmann, Jonathan de Halleux	White-box testing of behavioral web service contracts with Pex.	TAV-WEB	2008	DBLP DOI BibTeX RDF	web service, testing, unit testing, symbolic execution
47	Pex Tufvesson, Frida Heskebeck	Automatic Control of Reactive Brain Computer Interfaces.	CoRR	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.	Comput. Chem. Eng.	2008	DBLP DOI BibTeX RDF
41	Ning Lu, Judy H. McCullen	Enablement of Variation-Aware Timing: Treatment of Parasitic Resistance and Capacitance.	ISQED	2007	DBLP DOI BibTeX RDF
41	Takako M. Hickey, Robbert van Renesse	An Execution Service for a Partitionable Low Bandwidth Network.	FTCS	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.	ICSE (1)	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.	ICSE (2)	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.	ICSE	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.	CoRR	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.	CoRR	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.	ICAPS	2022	DBLP BibTeX RDF
29	Akkarit Sangpetch, Orathai Sangpetch	PEX: Privacy-Preserved, Multi-Tier Exchange Framework for Cross Platform Virtual Assets Trading.	CCNC	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.	USENIX Security Symposium	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.	IGARSS	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.	WHISPERS	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.	SERENE	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.	CompSysTech	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.	ICSOFT EA	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.	ASE	2014	DBLP DOI BibTeX RDF
29	HyunYong Lee, Akihiro Nakao	Topology-aware PEX for improving BitTorrent.	LCN	2013	DBLP DOI BibTeX RDF
29	Xusheng Xiao, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux	Covana: precise identification of problems in pex.	ICSE	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.	ITNG	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.	PSSE	2007	DBLP DOI BibTeX RDF
29	Michael S. Wainer, Ting Tan	A Library for Developing PHIGS Programming Tools in a PEX Environment.	Comput. Graph. Forum	1993	DBLP DOI BibTeX RDF
29	Josef Pöpsel, Christoph Hornung	Highlight shading: Lighting and shading in a PHIGS+/PEX-environment.	Comput. Graph.	1990	DBLP DOI BibTeX RDF
29	Hsien Ching Kelvin Sung, Greg Rogers, William J. Kubitz	A critical evaluation of PEX.	IEEE Computer Graphics and Applications	1990	DBLP DOI BibTeX RDF
29	Spencer W. Thomas	X and PEX Programming.	Advances in Computer Graphics	1990	DBLP BibTeX RDF
29	Randi J. Rost, Jeffrey Friedberg, Peter L. Nishimoto	PEX: a network-transparent 3D graphics system.	IEEE Computer Graphics and Applications	1989	DBLP DOI BibTeX RDF
29	Josef Pöpsel, Christoph Hornung	Highlight Shading: Lighting and Shading in a PHIGS+/PEX-Environment.	Eurographics	1989	DBLP DOI BibTeX RDF
20	Kai Pan, Xintao Wu, Tao Xie 0001	Database state generation via dynamic symbolic execution for coverage criteria.	DBTest	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.	Vis. Comput.	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.	ICSE Companion	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.	IV	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.	SIBGRAPI	2008	DBLP DOI BibTeX RDF
20	Saswat Anand, Patrice Godefroid, Nikolai Tillmann	Demand-Driven Compositional Symbolic Execution.	TACAS	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.	VTS	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.	ASAP	2006	DBLP DOI BibTeX RDF
20	Kristian Hildingsson, Tughrul Arslan, Ahmet T. Erdogan	Energy Evaluation Methodology for Platform Based System-on-Chip Design.	ISVLSI	2004	DBLP DOI BibTeX RDF