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}, } Article: icsews14cstvamain-cstvaid10-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid3-p (type: Full Paper (10 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid9-p (type: Full Paper (10 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid1-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid6-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid11-p (type: Full Paper (12 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid3-p (type: Full Paper (10 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid1-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid6-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid10-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid3-p (type: Full Paper (10 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid10-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid11-p (type: Full Paper (12 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid10-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid9-p (type: Full Paper (10 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid1-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid6-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid1-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid3-p (type: Full Paper (10 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid1-p (type: Short Paper (6 pages)) doi:
	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}, } Article: icsews14cstvamain-cstvaid1-p (type: Short Paper (6 pages)) doi:

21 authors

proc time: 0.03