Evaluation of Novel Approaches to Software Engineering

@inproceedings{Maciaszek2012EvaluationON,
  title={Evaluation of Novel Approaches to Software Engineering},
  author={Leszek A. Maciaszek and Joaquim Filipe},
  booktitle={Communications in Computer and Information Science},
  year={2012}
}
Dynamic symbolic execution has been shown to be an effective technique for automated test input generation. When applied to large-scale and complex programs, its scalability however is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the context of generating test inputs for maximum structural coverage. In particular, we utilize the chaining mechanism to (1) extract precise guidance… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 58 REFERENCES

Experiment Results about Assessing Event Correlation in Non-ProcessAware Information Systems (2012), http://alarcos.esi.uclm.es/per/ rpdelcastillo/CorrelationExp.html#correlation

R. Pérez-Castillo
  • (cited February
  • 2012
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

A framework for semi-automated process instance discovery from decorative attributes

  • 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM)
  • 2011
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Process Mining, in Process-aware information systems: bridging people and software through process technology

W. van der Aalst, Weijters, A.J.M.M.
  • Dumas, M., van der Aalst, W., Ter Hofstede, A. (eds.), pp. 235–255. John Wiley & Sons, Inc.
  • 2005
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…