E-LIB Suche - Ergebnisse für: Penix, John

1

Techniques for improving regression testing in continuous i..:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Elbaum, Sebastian ; Rothermel, Gregg ; Penix, John - p. 235-245 , 2014

Link: https://dl.acm.org/doi/1..

2

Experiences developing tools for developers (invited talk):

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Penix, John - p. 4 ff. , 2014

Link: https://dl.acm.org/doi/1..

3

Big problems in industry (panel):

, In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Penix, John - p. 3-3 , 2013

Link: https://doi.org/10.1109/..

4

Big problems in industry (panel):

, In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering,

Penix, John - p. 3 ff. , 2013

Link: https://dl.acm.org/doi/1..

5

Large-scale test automation in the cloud (Invited industria..:

, In: 2012 34th International Conference on Software Engineering (ICSE),

Penix, John - p. 1122-1122 , 2012

Link: https://doi.org/10.1109/..

6

Large-scale test automation in the cloud (invited industria..:

, In: Proceedings of the 34th International Conference on Software Engineering,

Penix, John - p. 1122 ff. , 2012

Link: https://dl.acm.org/doi/1..

7

Predicting accurate and actionable static analysis warnings..:

, In: Proceedings of the 30th international conference on Software engineering,

Ruthruff, Joseph R. ; Penix, John ; Morgenthaler, J. David.. - p. 341-350 , 2008

Link: https://dl.acm.org/doi/1..

8

Evaluating static analysis defect warnings on production so..:

, In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering,

Ayewah, Nathaniel ; Pugh, William ; Morgenthaler, J. David.. - p. 1-8 , 2007

Link: https://dl.acm.org/doi/1..

9

Using FindBugs on production software:

, In: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion,

Ayewah, Nathaniel ; Pugh, William ; Morgenthaler, J. David.. - p. 805-806 , 2007

Link: https://dl.acm.org/doi/1..

10

The second international workshop on automated program anal..:

, In: Proceedings of the 23rd International Conference on Software Engineering,

Tracey, Nigel ; Penix, John ; Visser, Willem C. - p. 755 ff. , 2001

Link: https://dl.acm.org/doi/1..

11

Verification of time partitioning in the DEOS scheduler ker..:

, In: Proceedings of the 22nd international conference on Software engineering,

Penix, John ; Visser, Willem ; Engstrom, Eric.. - p. 488-497 , 2000

Link: https://dl.acm.org/doi/1..

12

Using predicate abstraction to reduce object-oriented progr..:

, In: Proceedings of the third workshop on Formal methods in software practice,

Visser, William ; Park, SeungJoon ; Penix, John - p. 3-182 , 2000

Link: https://dl.acm.org/doi/1..

13

The First International Workshop on Automated Program Analy..:

, In: Proceedings of the 22nd international conference on Software engineering,

Tracey, Nigel ; Penix, John ; Visser, Willem C. - p. 796 ff. , 2000

Link: https://dl.acm.org/doi/1..

14

Experiences in verifying parallel simulation algorithms:

, In: Proceedings of the second workshop on Formal methods in software practice,

Penix, John ; Martin, Dale ; Frey, Peter... - p. 16-23 , 1998

Link: https://dl.acm.org/doi/1..

15

Compositional specification of software architecture:

, In: Proceedings of the third international workshop on Software architecture,

Penix, John - p. 113-116 , 1998

Link: https://dl.acm.org/doi/1..