Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Fault localization with nearest neighbor queries
Renieres, M., Reiss, S.P.
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Model-based verification of web service compositions
Foster, Howard, Uchitel, Sebastian, Magee, Jeff, Kramer, Jeff
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
What test oracle should i use for effective GUI testing?
Memon, Atif, Banerjee, Ishan, Nagarajan, Adithya
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
A type system for statically detecting spreadsheet errors
Ahmad, Yanif, Antoniu, Tudor, Goldwater, Sharon, Krishnamurthi, Shriram
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
SPQR: flexible automated design pattern extraction from source code
Smith, Jason McC, Stotts, David
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Automated environment generation for software model checking
Tkachuk, Oksana, Dwyer, Matthew B., Pasareanu, Corina S.
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Predicting fault prone modules by the Dempster-Shafer belief networks
Guo, Lan, Cukic, Bojan, Singh, Harshinder
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (01.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (01.10.2003)
Get full text
Conference Proceeding
Loading…
Automated software testing using a metaheuristic technique based on tabu search
Díaz, Eugenia, Tuya, Javier, Blanco, Raquel
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Parallel breadth-first search LTL model-checking
Barnat, J., Brim, L., Chaloupka, J.
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Tool-assisted unit test selection based on operational violations
Tao Xie, Notkin, D.
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Refactoring C with conditional compilation
Garrido, Alejandra, Johnson, Ralph
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Debugging overconstrained declarative models using unsatisfiable cores
Shlyakhter, Ilya, Seater, Robert, Jackson, Daniel, Sridharan, Manu, Taghdiri, Mana
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Automatically inferring concern code from program investigation activities
Robillard, Martin P., Murphy, Gail C.
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Loading…
On the automatic evolution of an OS kernel using temporal logic and AOP
Aberg, Rickard A., Lawall, Julia L., Südholt, Mario, Muller, Gilles, Meur, Anne-Françoise Le
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Generating design pattern detectors from pattern specifications
Heuzeroth, Dirk, Mandel, Stefan, Löowe, Welf
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Test suite design for code generation tools
Stürmer, Ingo, Conrad, Mirko
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Published in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (06.10.2003)
Get full text
Conference Proceeding
Loading…