Result 1 to 20 of 167 total
Automated debugging based on a constraint model of the program and a test case. (English)
J. Log. Algebr. Program. 81, No. 4, 390-407 (2012).
1
The simol modeling language for simulation and (Re-)Configuration. (English)
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 661-672 (2012).
2
Compositional random testing using extended symbolic transition systems. (English)
Wolff, Burkhart (ed.) et al., Testing software and systems. 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24579-4/pbk). Lecture Notes in Computer Science 7019, 179-194 (2011).
3
On the use of abduction as an alternative to decision trees in environmental decision support systems (English)
IJAEIS 2, No. 1, 63-82 (2011).
4
Compositional random testing using extended symbolic transition systems (English)
ICTSS, 179-194 (2011).
5
The intisa approach: test input data generation for non-primitive data types by means of SMT solver based bounded model checking (English)
QSIC, 121-130 (2011).
6
Program debugging using constraints - is it feasible? (English)
QSIC, 236-243 (2011).
7
Challenges of distributed model-based diagnosis. (English)
García-Pedrajas, Nicolás (ed.) et al., Trends in applied intelligent systems. 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1‒4, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-13021-2/pbk). Lecture Notes in Computer Science 6096. Lecture Notes in Artificial Intelligence, 711-720 (2010).
8
Does testing help to reduce the number of potentially faulty statements in debugging? (English)
Bottaci, Leonardo (ed.) et al., Testing ‒ practice and research techniques. 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3‒5, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15584-0/pbk). Lecture Notes in Computer Science 6303, 88-103 (2010).
9
On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. (English)
Meseguer, Pedro (ed.) et al., Current topics in artificial intelligence. 13th conference of the Spanish association for artificial intelligence, CAEPIA 2009, Seville, Spain, November 9‒13, 2009. Selected papers. Berlin: Springer (ISBN 978-3-642-14263-5/pbk). Lecture Notes in Computer Science 5988. Lecture Notes in Artificial Intelligence, 22-31 (2010).
10
Employing test suites for Verilog fault localization. (English)
Meseguer, Pedro (ed.) et al., Current topics in artificial intelligence. 13th conference of the Spanish association for artificial intelligence, CAEPIA 2009, Seville, Spain, November 9‒13, 2009. Selected papers. Berlin: Springer (ISBN 978-3-642-14263-5/pbk). Lecture Notes in Computer Science 5988. Lecture Notes in Artificial Intelligence, 1-10 (2010).
11
Concept evaluation of a reflex inspired ball handling device for autonomous soccer robots. (English)
Baltes, Jacky (ed.) et al., RoboCup 2009: Robot Soccer World Cup XIII. Berlin: Springer (ISBN 978-3-642-11875-3/pbk). Lecture Notes in Computer Science 5949. Lecture Notes in Artificial Intelligence, 11-22 (2010).
12
Generating distinguishing tests using the minion constraint solver (English)
ICST Workshops, 325-330 (2010).
13
When bdds fail: conformance testing with symbolic execution and SMT solving (English)
ICST, 479-488 (2010).
14
Synthesize it: from design by contract to meaningful test input data (English)
SEFM, 286-295 (2010).
15
Challenges of distributed model-based diagnosis (English)
IEA/AIE (1), 711-720 (2010).
16
Does testing help to reduce the number of potentially faulty statements in debugging? (English)
TAIC PART, 88-103 (2010).
17
Fault localization based on dynamic slicing and hitting-set computation (English)
QSIC, 161-170 (2010).
18
Impact analysis of scrs using single and multi-label machine learning classification (English)
ESEM (2010).
19
Combining runtime diagnosis and AI-planning in a mobile autonomous robot to achieve a graceful degradation after software failures (English)
ICAART (1), 127-134 (2010).
20
Result 1 to 20 of 167 total
Start
Contact
Print
General Help
