Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Model-based verification of web service compositions
Foster, Howard, Uchitel, Sebastian, Magee, Jeff, Kramer, Jeff
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
What test oracle should i use for effective GUI testing?
Memon, Atif, Banerjee, Ishan, Nagarajan, Adithya
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
A type system for statically detecting spreadsheet errors
Ahmad, Yanif, Antoniu, Tudor, Goldwater, Sharon, Krishnamurthi, Shriram
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
SPQR: flexible automated design pattern extraction from source code
Smith, Jason McC, Stotts, David
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
Automated environment generation for software model checking
Tkachuk, Oksana, Dwyer, Matthew B., Pasareanu, Corina S.
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
Predicting fault prone modules by the Dempster-Shafer belief networks
Guo, Lan, Cukic, Bojan, Singh, Harshinder
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (01.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (01.10.2003)
Get full text
Conference Proceeding
Refactoring C with conditional compilation
Garrido, Alejandra, Johnson, Ralph
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
Debugging overconstrained declarative models using unsatisfiable cores
Shlyakhter, Ilya, Seater, Robert, Jackson, Daniel, Sridharan, Manu, Taghdiri, Mana
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
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 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
Generating design pattern detectors from pattern specifications
Heuzeroth, Dirk, Mandel, Stefan, Löowe, Welf
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
Test suite design for code generation tools
Stürmer, Ingo, Conrad, Mirko
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
VUML: a viewpoint oriented UML extension
Nassar, Mahmoud
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
A model-driven approach to non-functional analysis of software architectures
Skene, James, Emmerich, Wolfgang
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
Certifying measurement unit safety policy
Rosu, Grigore, Chen, Feng
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding
Theoretical foundations of updating systems
Harris, Hannah, Ryan, Mark
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Published in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings (06.10.2003)
Get full text
Conference Proceeding