C D F G H K L M P R S V W X Y Z

	Collavizza, Hélène	CSTVA '14: "Generating Test Cases inside ..." Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs Hélène Collavizza, Claude Michel, Olivier Ponsini, and Michel Rueher (University of Nice Sophia Antipolis, France; CNRS, France) @InProceedings{CSTVA14p7, author = {Hélène Collavizza and Claude Michel and Olivier Ponsini and Michel Rueher}, title = {Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2014}, }
	DeMarco, Favio	CSTVA '14: "Automatic Repair of Buggy ..." Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio DeMarco, Jifeng Xuan, Daniel Le Berre, and Martin Monperrus (Universidad de Buenos Aires, Argentina; INRIA, France; University of Artois, France; CNRS, France; University of Lille, France) @InProceedings{CSTVA14p31, author = {Favio DeMarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus}, title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, }
	Felbinger, Hermann	CSTVA '14: "Suitability Analysis of CSP- ..." Suitability Analysis of CSP- and SMT-Solvers for Test Case Generation Hermann Felbinger and Christian Schwarzl (Virtual Vehicle Research Center, Austria) @InProceedings{CSTVA14p41, author = {Hermann Felbinger and Christian Schwarzl}, title = {Suitability Analysis of CSP- and SMT-Solvers for Test Case Generation}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2014}, }
	Guan, Xiaohong	CSTVA '14: "Directed Test Suite Augmentation ..." Directed Test Suite Augmentation via Exploiting Program Dependency Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, and Zijiang Yang (Xi'an Jiaotong University, China; Xi’an University of Technology, China; Western Michigan University, USA) @InProceedings{CSTVA14p1, author = {Haijun Wang and Xiaohong Guan and Qinghua Zheng and Ting Liu and Chao Shen and Zijiang Yang}, title = {Directed Test Suite Augmentation via Exploiting Program Dependency}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }
	Hainaut, Jean-Luc	CSTVA '14: "Towards Testing of Full-Scale ..." Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution Michaël Marcozzi, Wim Vanhoof, and Jean-Luc Hainaut (University of Namur, Belgium) @InProceedings{CSTVA14p13, author = {Michaël Marcozzi and Wim Vanhoof and Jean-Luc Hainaut}, title = {Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, }
	Kugele, Stefan	CSTVA '14: "Model-Based Optimization of ..." Model-Based Optimization of Automotive E/E-Architectures Stefan Kugele and Gheorghe Pucea (TU München, Germany) @InProceedings{CSTVA14p19, author = {Stefan Kugele and Gheorghe Pucea}, title = {Model-Based Optimization of Automotive E/E-Architectures}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2014}, }
	Le Berre, Daniel	CSTVA '14: "Automatic Repair of Buggy ..." Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio DeMarco, Jifeng Xuan, Daniel Le Berre, and Martin Monperrus (Universidad de Buenos Aires, Argentina; INRIA, France; University of Artois, France; CNRS, France; University of Lille, France) @InProceedings{CSTVA14p31, author = {Favio DeMarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus}, title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, }
	Liu, Ting	CSTVA '14: "Directed Test Suite Augmentation ..." Directed Test Suite Augmentation via Exploiting Program Dependency Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, and Zijiang Yang (Xi'an Jiaotong University, China; Xi’an University of Technology, China; Western Michigan University, USA) @InProceedings{CSTVA14p1, author = {Haijun Wang and Xiaohong Guan and Qinghua Zheng and Ting Liu and Chao Shen and Zijiang Yang}, title = {Directed Test Suite Augmentation via Exploiting Program Dependency}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }
	Marcozzi, Michaël	CSTVA '14: "Towards Testing of Full-Scale ..." Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution Michaël Marcozzi, Wim Vanhoof, and Jean-Luc Hainaut (University of Namur, Belgium) @InProceedings{CSTVA14p13, author = {Michaël Marcozzi and Wim Vanhoof and Jean-Luc Hainaut}, title = {Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, }
	Michel, Claude	CSTVA '14: "Generating Test Cases inside ..." Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs Hélène Collavizza, Claude Michel, Olivier Ponsini, and Michel Rueher (University of Nice Sophia Antipolis, France; CNRS, France) @InProceedings{CSTVA14p7, author = {Hélène Collavizza and Claude Michel and Olivier Ponsini and Michel Rueher}, title = {Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2014}, }
	Monperrus, Martin	CSTVA '14: "Automatic Repair of Buggy ..." Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio DeMarco, Jifeng Xuan, Daniel Le Berre, and Martin Monperrus (Universidad de Buenos Aires, Argentina; INRIA, France; University of Artois, France; CNRS, France; University of Lille, France) @InProceedings{CSTVA14p31, author = {Favio DeMarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus}, title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, }
	Ponsini, Olivier	CSTVA '14: "Generating Test Cases inside ..." Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs Hélène Collavizza, Claude Michel, Olivier Ponsini, and Michel Rueher (University of Nice Sophia Antipolis, France; CNRS, France) @InProceedings{CSTVA14p7, author = {Hélène Collavizza and Claude Michel and Olivier Ponsini and Michel Rueher}, title = {Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2014}, }
	Pucea, Gheorghe	CSTVA '14: "Model-Based Optimization of ..." Model-Based Optimization of Automotive E/E-Architectures Stefan Kugele and Gheorghe Pucea (TU München, Germany) @InProceedings{CSTVA14p19, author = {Stefan Kugele and Gheorghe Pucea}, title = {Model-Based Optimization of Automotive E/E-Architectures}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2014}, }
	Rueher, Michel	CSTVA '14: "Generating Test Cases inside ..." Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs Hélène Collavizza, Claude Michel, Olivier Ponsini, and Michel Rueher (University of Nice Sophia Antipolis, France; CNRS, France) @InProceedings{CSTVA14p7, author = {Hélène Collavizza and Claude Michel and Olivier Ponsini and Michel Rueher}, title = {Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2014}, }
	Schwarzl, Christian	CSTVA '14: "Suitability Analysis of CSP- ..." Suitability Analysis of CSP- and SMT-Solvers for Test Case Generation Hermann Felbinger and Christian Schwarzl (Virtual Vehicle Research Center, Austria) @InProceedings{CSTVA14p41, author = {Hermann Felbinger and Christian Schwarzl}, title = {Suitability Analysis of CSP- and SMT-Solvers for Test Case Generation}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2014}, }
	Shen, Chao	CSTVA '14: "Directed Test Suite Augmentation ..." Directed Test Suite Augmentation via Exploiting Program Dependency Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, and Zijiang Yang (Xi'an Jiaotong University, China; Xi’an University of Technology, China; Western Michigan University, USA) @InProceedings{CSTVA14p1, author = {Haijun Wang and Xiaohong Guan and Qinghua Zheng and Ting Liu and Chao Shen and Zijiang Yang}, title = {Directed Test Suite Augmentation via Exploiting Program Dependency}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }
	Vanhoof, Wim	CSTVA '14: "Towards Testing of Full-Scale ..." Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution Michaël Marcozzi, Wim Vanhoof, and Jean-Luc Hainaut (University of Namur, Belgium) @InProceedings{CSTVA14p13, author = {Michaël Marcozzi and Wim Vanhoof and Jean-Luc Hainaut}, title = {Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, }
	Wang, Haijun	CSTVA '14: "Directed Test Suite Augmentation ..." Directed Test Suite Augmentation via Exploiting Program Dependency Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, and Zijiang Yang (Xi'an Jiaotong University, China; Xi’an University of Technology, China; Western Michigan University, USA) @InProceedings{CSTVA14p1, author = {Haijun Wang and Xiaohong Guan and Qinghua Zheng and Ting Liu and Chao Shen and Zijiang Yang}, title = {Directed Test Suite Augmentation via Exploiting Program Dependency}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }
	Xuan, Jifeng	CSTVA '14: "Automatic Repair of Buggy ..." Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio DeMarco, Jifeng Xuan, Daniel Le Berre, and Martin Monperrus (Universidad de Buenos Aires, Argentina; INRIA, France; University of Artois, France; CNRS, France; University of Lille, France) @InProceedings{CSTVA14p31, author = {Favio DeMarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus}, title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, }
	Yang, Zijiang	CSTVA '14: "Directed Test Suite Augmentation ..." Directed Test Suite Augmentation via Exploiting Program Dependency Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, and Zijiang Yang (Xi'an Jiaotong University, China; Xi’an University of Technology, China; Western Michigan University, USA) @InProceedings{CSTVA14p1, author = {Haijun Wang and Xiaohong Guan and Qinghua Zheng and Ting Liu and Chao Shen and Zijiang Yang}, title = {Directed Test Suite Augmentation via Exploiting Program Dependency}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }
	Zheng, Qinghua	CSTVA '14: "Directed Test Suite Augmentation ..." Directed Test Suite Augmentation via Exploiting Program Dependency Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, and Zijiang Yang (Xi'an Jiaotong University, China; Xi’an University of Technology, China; Western Michigan University, USA) @InProceedings{CSTVA14p1, author = {Haijun Wang and Xiaohong Guan and Qinghua Zheng and Ting Liu and Chao Shen and Zijiang Yang}, title = {Directed Test Suite Augmentation via Exploiting Program Dependency}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }

21 authors

proc time: 0.03