The SCEAS System
Navigation Menu

Conferences in DBLP

International Symposium on Software Testing and Analysis (ISSTA) (issta)
2006 (conf/issta/2006)

  1. Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos
    TimeAware test suite prioritization. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:1-12 [Conf]
  2. Phil McMinn, Mark Harman, David Binkley, Paolo Tonella
    The species per path approach to SearchBased test data generation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:13-24 [Conf]
  3. Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
    Coverage metrics for requirements-based testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:25-36 [Conf]
  4. Willem Visser, Corina S. Pasareanu, Radek Pelánek
    Test input generation for java containers using state matching. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:37-48 [Conf]
  5. Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel
    Experimental program analysis: a new program analysis paradigm. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:49-60 [Conf]
  6. Robert M. Bell, Thomas J. Ostrand, Elaine J. Weyuker
    Looking for bugs in all the right places. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:61-72 [Conf]
  7. Stefan Wagner
    A model and sensitivity analysis of the quality economics of defect-detection techniques. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:73-84 [Conf]
  8. Dick Hamlet
    Subdomain testing of units and systems with state. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:85-96 [Conf]
  9. Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
    Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:97-108 [Conf]
  10. Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
    Modular verification of code with SAT. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:109-120 [Conf]
  11. Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia
    Role-Based access control consistency validation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:121-132 [Conf]
  12. Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
    Effective typestate verification in the presence of aliasing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:133-144 [Conf]
  13. Greta Yorsh, Thomas Ball, Mooly Sagiv
    Testing, abstraction, theorem proving: better together! [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:145-156 [Conf]
  14. Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
    Using model checking with symbolic execution to verify parallel numerical programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:157-168 [Conf]
  15. Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia
    From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:169-180 [Conf]
  16. Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen
    Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:181-190 [Conf]
  17. Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng
    The case for analysis preserving language transformation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:191-202 [Conf]
  18. Oksana Tkachuk, Sreeranga P. Rajan
    Application of automated environment generation to commercial software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:203-214 [Conf]
  19. Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek
    Automated testing of stochastic systems: a statistically grounded approach. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:215-224 [Conf]
  20. Raimondas Lencevicius, Edu Metz
    Performance assertions for mobile devices. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:225-232 [Conf]
  21. Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
    Inference and enforcement of data structure consistency specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:233-244 [Conf]
  22. Christoph Csallner, Yannis Smaragdakis
    DSD-Crasher: a hybrid analysis tool for bug finding. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:245-254 [Conf]
  23. Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst
    Dynamic inference of abstract types. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:255-265 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002