ISSTA 2011 deadline: Feb. 4th

Eric | January 19, 2011

Call for PapersISSTA 2011 is still accepting publications until February 4th.

Topics of interest for ISSTA include, but are not limited to:

  • Test case selection, prioritization and generation
  • Specification- and model-based testing
  • Regression testing
  • Debugging
  • Static and dynamic program analysis
  • Fault localization and repair
  • Model checking
  • Mining and restructuring
  • Verification and validation
  • Reliability and monitoring
  • Functional and performance testing
  • Domain-specific testing and analysis
  • Testing and analysis for web and security
  • Testing and analysis of concurrent software
  • Empirical evaluations and case studies about testing or analysis
  • Tools for testing and analysis

Good luck!

Comments
Comments Off on ISSTA 2011 deadline: Feb. 4th
Categories
Research

PhD scholarship in Secure Services

Eric | January 5, 2011

UPDATE: The position had been filled.

I am happy to announce that, through CASED, I received generous funding from the Horst-Görtz foundation to establish a junior research group. As of now, I am therefore looking for an excellent student who is interested in doing cutting-edge research with me.

I am generally interested in using static and dynamic analyses to prove safety and security properties of (Java) programs, and the student will generally be expected to deliver excellent research in this area. Technologies that can be built on include, but are by no means limited to, Soot, abc and TamiFlex.

The student will be co-supervised by Prof. Mira Mezini. You can find more information about this position here.

Comments
Comments Off on PhD scholarship in Secure Services
Categories
Research